Uses of Class
fmrisc.ProofNavigator.Syntax.AndFormula

Packages that use AndFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of AndFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return AndFormula

Modifier and Type	Method and Description
static AndFormula	Construct.andFormula(Expression base1, Expression base2) construct conjunction with components base1 and base2