Uses of Class
fmrisc.ProofNavigator.Syntax.LessFormula

Packages that use LessFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of LessFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return LessFormula

Modifier and Type	Method and Description
static LessFormula	Construct.lessFormula(Expression base1, Expression base2) construct less-than formula with components base1 and base2