Index - N
| Name | |
| 1 (Type/Class) | HOL.Name |
| 2 (Data Constructor) | HOL.Name |
| 3 (Type/Class) | HOL.OpenTheory.Package |
| 4 (Data Constructor) | HOL.OpenTheory.Package |
| name | |
| 1 (Function) | HOL.TypeOp |
| 2 (Function) | HOL.Var |
| 3 (Function) | HOL.Const |
| 4 (Function) | HOL.OpenTheory.Package |
| NameCommand | HOL.OpenTheory.Article |
| NameObject | HOL.OpenTheory.Article |
| Namespace | |
| 1 (Type/Class) | HOL.Name |
| 2 (Data Constructor) | HOL.Name |
| NameVersion | |
| 1 (Type/Class) | HOL.OpenTheory.Package |
| 2 (Data Constructor) | HOL.OpenTheory.Package |
| naturalName | HOL.TypeOp |
| naturalNamespace | HOL.Name |
| NegativeParseInteger | HOL.Parse |
| negName | HOL.Const |
| NilCommand | HOL.OpenTheory.Article |
| NonAssoc | HOL.Print |
| NonZeroParseInteger | HOL.Parse |
| notFreeIn | HOL.Var |
| null | |
| 1 (Function) | HOL.TypeSubst |
| 2 (Function) | HOL.Subst |
| nullHyp | |
| 1 (Function) | HOL.Sequent |
| 2 (Function) | HOL.Thm |
| nullInfo | HOL.OpenTheory.Package |
| Number | |
| 1 (Type/Class) | HOL.OpenTheory.Article |
| 2 (Data Constructor) | HOL.OpenTheory.Article |
| NumberCommand | HOL.OpenTheory.Article |
| NumberObject | HOL.OpenTheory.Article |