N | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
Neutral | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
neutralize | Zsyntax.Formula, Zsyntax |
neutralizeFormula | Zsyntax.Formula, Zsyntax |
neutralizeOs | Zsyntax.Formula, Zsyntax |
NeutralKind | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
NoResults | Otter.SearchRes, Otter, Zsyntax |
normalize | Zsyntax.Formula, Zsyntax |
NotATheorem | Otter.SearchRes, Otter, Zsyntax |
nuLabel | Zsyntax.Formula, Zsyntax |