decideNeutral | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
DecoratedFormula | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
DecoratedLSequent | Zsyntax |
deepHetComp | Zsyntax.Labelled.Formula |
Delay | Otter.SearchRes, Otter |
delay | Otter.SearchRes, Otter |
DerivationTerm | Zsyntax.Labelled.DerivationTerm |
dfLabel | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
doSearch | Otter.Internal.Search |
DTFocMatchRes | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
DTMatchRes | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |