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