fmrisc.ProofNavigator.Commands

Interfaces  Command ProofCommand

Classes  Assume Auto AutoStar Case CommandBase ContextC CounterExample DeclarationC Decompose Empty EnvironmentC Expand Flatten Flip FormulaC Goal Goto Induction Instantiate Lemma Next Open Option Prev ProofC ProofCommandBase Prove Proved Quit Read Redo Scatter Simplify Skolemize Split StateC TCC TypeAxiom TypeC Undo ValueC