name | Theory.Named, GDP |
name2 | Theory.Named, GDP |
name3 | Theory.Named, GDP |
Named | Theory.Named, GDP |
Nil | Theory.Lists |
nil | Theory.Lists |
Nil' | Theory.Lists |
nilIsList | Theory.Lists |
Nil_ | Theory.Lists |
noncontra | Logic.Propositional, GDP |
Not | Logic.Propositional, GDP |
note | Logic.Implicit, GDP |