Impl | Zsyntax.Labelled.Formula |
impl | Zsyntax.Formula, Zsyntax |
ImplL | Zsyntax.Labelled.DerivationTerm |
implLeft | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
ImplR | Zsyntax.Labelled.DerivationTerm |
implRight | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
Inactive | Otter.Internal.Structures |
InactiveNode | Otter.Internal.Structures |
InactiveNodes | Otter.Internal.Structures |
Init | Zsyntax.Labelled.DerivationTerm |
Initial | Otter.Internal.Structures |
initialize | Otter.Internal.Structures |
initialRules | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
initIsBSCheckd | Otter.Internal.Structures |
initIsFSCheckd | Otter.Internal.Structures |
IsFocusable | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
isGoalM | Otter.Internal.Search |
isNotFwdSubsumed | Otter.Internal.Search |