Index - N
| Net | HaskHOL.Core.Basics, HaskHOL.Core |
| netEmpty | HaskHOL.Core.Basics, HaskHOL.Core |
| netEnter | HaskHOL.Core.Basics, HaskHOL.Core |
| netLookup | HaskHOL.Core.Basics, HaskHOL.Core |
| netMerge | HaskHOL.Core.Basics, HaskHOL.Core |
| newAxiom | |
| 1 (Function) | HaskHOL.Core.State |
| 2 (Function) | HaskHOL.Core |
| newBasicDefinition | |
| 1 (Function) | HaskHOL.Core.State |
| 2 (Function) | HaskHOL.Core |
| newBasicTypeDefinition | HaskHOL.Core.State, HaskHOL.Core |
| newConstant | |
| 1 (Function) | HaskHOL.Core.State |
| 2 (Function) | HaskHOL.Core |
| newDefinedConst | HaskHOL.Core.Kernel, HaskHOL.Core |
| newDefinedTypeOp | HaskHOL.Core.Kernel, HaskHOL.Core |
| newExtension | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| newFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| newHOLRef | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| newPrimConst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| newPrimTypeOp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| newType | HaskHOL.Core.State, HaskHOL.Core |
| newTypeAbbrev | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| NFData | HaskHOL.Core.Lib, HaskHOL.Core |
| Note | HaskHOL.Core.Lib, HaskHOL.Core |
| note | HaskHOL.Core.Lib, HaskHOL.Core |
| Nothing | HaskHOL.Core.Lib, HaskHOL.Core |
| nsplit | HaskHOL.Core.Lib, HaskHOL.Core |
| nsplitM | HaskHOL.Core.Lib, HaskHOL.Core |
| nub | HaskHOL.Core.Lib, HaskHOL.Core |
| num0 | HaskHOL.Core.Lib, HaskHOL.Core |
| num1 | HaskHOL.Core.Lib, HaskHOL.Core |
| num10 | HaskHOL.Core.Lib, HaskHOL.Core |
| num2 | HaskHOL.Core.Lib, HaskHOL.Core |
| numdom | HaskHOL.Core.Lib, HaskHOL.Core |
| numerator | HaskHOL.Core.Lib, HaskHOL.Core |
| numOfString | HaskHOL.Core.Lib, HaskHOL.Core |