Concl | Otter.Internal.Structures |
concl | Zsyntax.Labelled.DerivationTerm |
ConclNode | Otter.Internal.Structures |
Conj | Zsyntax.Labelled.Formula |
conj | Zsyntax.Formula, Zsyntax |
ConjL | Zsyntax.Labelled.DerivationTerm |
ConjR | Zsyntax.Labelled.DerivationTerm |
cons | Otter.SearchRes, Otter |
Copy | Zsyntax.Labelled.DerivationTerm |
copyRule | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
CS | Zsyntax.ReactionList |
CSC | Zsyntax.ReactionList |
CtrlSet | Zsyntax.ReactionList |
CtrlSetCtxt | Zsyntax.ReactionList |
CtrlType | Zsyntax.ReactionList |