L | Zsyntax.Labelled.Formula |
Label | |
1 (Type/Class) | Zsyntax.Labelled.Formula |
2 (Type/Class) | Zsyntax |
label | Zsyntax.Labelled.Formula |
LAx | Zsyntax.Labelled.Formula |
LAxiom | Zsyntax.Labelled.Formula |
lcBase | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
LCtxt | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
leftActive | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
LFormula | Zsyntax.Labelled.Formula |
LinNeg | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
LinPos | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
loop | Otter.Internal.Search |
LS | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
lsConcl | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
lsCty | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
LSequent | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
lsLCtxt | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
lsUCtxt | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
lToS | Zsyntax.Formula, Zsyntax |