| Name | Ideas.Text.XML.Document |
| name | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| NameSpace | Ideas.Service.FeedbackScript.Syntax |
| naNSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| Nary | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| naturalOrFloat | Ideas.Utils.Parsing |
| navigateTo | Ideas.Common.Traversal.Navigator |
| navigateTowards | Ideas.Common.Traversal.Navigator |
| navigation | Ideas.Common.Exercise, Ideas.Common.Library |
| Navigator | Ideas.Common.Traversal.Navigator |
| navigator | Ideas.Common.Context, Ideas.Common.Library |
| neqSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| nestedComments | Ideas.Utils.Parsing |
| newContext | Ideas.Common.Context, Ideas.Common.Library |
| newDomainReasoner | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| newEnvironment | Ideas.Service.FeedbackScript.Run |
| NewExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| newId | Ideas.Common.Id, Ideas.Common.Library |
| newline | Ideas.Utils.Parsing |
| newLogRef | Ideas.Encoding.Logging |
| newSymbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| next | Ideas.Common.Traversal.Iterator |
| nextMetaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| nextTaskLocation | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| NmTokensType | Ideas.Text.XML.Document |
| NmTokenType | Ideas.Text.XML.Document |
| noBindings | Ideas.Common.Environment, Ideas.Common.Library |
| node | Ideas.Common.Strategy.CyclicTree |
| node0 | Ideas.Common.Strategy.CyclicTree |
| node1 | Ideas.Common.Strategy.CyclicTree |
| node2 | Ideas.Common.Strategy.CyclicTree |
| NoExpectedFailure | Ideas.Utils.QuickCheck |
| noInterleaving | Ideas.Common.Strategy.Combinators |
| NoLogging | Ideas.Encoding.Request |
| noLogRef | Ideas.Encoding.Logging |
| noMixedFractions | Ideas.Encoding.OpenMathSupport |
| noNavigator | Ideas.Common.Context, Ideas.Common.Library |
| NonEmpty | Ideas.Utils.QuickCheck |
| NonEmptyList | Ideas.Utils.QuickCheck |
| noneOf | Ideas.Utils.Parsing |
| NonNegative | |
| 1 (Data Constructor) | Ideas.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Utils.QuickCheck |
| NonZero | |
| 1 (Data Constructor) | Ideas.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Utils.QuickCheck |
| noPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| normalize | Ideas.Text.XML.Interface |
| noShrinking | Ideas.Utils.QuickCheck |
| not | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| NotationDecl | Ideas.Text.XML.Document |
| NotationType | Ideas.Text.XML.Document |
| NotClosed | Ideas.Utils.Parsing |
| NotEquivalent | |
| 1 (Data Constructor) | Ideas.Service.Diagnose |
| 2 (Data Constructor) | Ideas.Service.Submit |
| NoTextForRule | Ideas.Service.FeedbackScript.Analysis |
| notFollowedBy | Ideas.Utils.Parsing |
| nothingSymbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| NotOpened | Ideas.Utils.Parsing |
| notS | Ideas.Common.Library |
| notSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| nrOfErrors | Ideas.Utils.TestSuite |
| nrOfTests | Ideas.Utils.TestSuite |
| nrOfWarnings | Ideas.Utils.TestSuite |
| nthdiffSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| Null | Ideas.Text.JSON |
| Nullary | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| Number | |
| 1 (Type/Class) | Ideas.Text.JSON |
| 2 (Data Constructor) | Ideas.Text.JSON |
| nums1List | Ideas.Text.OpenMath.Dictionary.Nums1 |
| numShrinkFinal | Ideas.Utils.QuickCheck |
| numShrinks | Ideas.Utils.QuickCheck |
| numShrinkTries | Ideas.Utils.QuickCheck |
| numTests | Ideas.Utils.QuickCheck |