Uses of Class
fmrisc.ProofNavigator.Syntax.NotFormula

Packages that use NotFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of NotFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return NotFormula

Modifier and Type	Method and Description
static NotFormula	Construct.notFormula(Expression base) construct negation (not formula) of base formula