Index - N
| Named | Extension.Prelude |
| nest | Text.PrettyPrint.Class, Text.Isar |
| nestBetween | Text.Isar |
| nestShort | Text.Isar |
| nestShort' | Text.Isar |
| nestShortNonEmpty | Text.Isar |
| nestShortNonEmpty' | Text.Isar |
| newManager | Control.Concurrent.ManagedThreads |
| newRow | Data.Table |
| nextAgentId | Scyther.Facts |
| nextTID | Scyther.Facts |
| node | Text.Dot |
| nodeAttributes | Text.Dot |
| NodeId | Text.Dot |
| NonceT | Scyther.Typing, Scyther.Facts |
| normMsg | Scyther.Message, Scyther.Facts |
| noteCases | Scyther.Theory.Pretty |
| nParCmd_ | Control.Concurrent.ManagedThreads |
| nParMapIO | Control.Concurrent.ManagedThreads |
| nParMapIO_ | Control.Concurrent.ManagedThreads |
| nParSequenceIO | Control.Concurrent.ManagedThreads |
| nParSequenceIO_ | Control.Concurrent.ManagedThreads |
| nubOn | Extension.Prelude |
| null | Scyther.Equalities |
| nullFacts | Scyther.Facts |
| numbered | Text.Isar |
| numbered' | Text.Isar |