Index - W
| wiIdent | Data.Logic.KnowledgeBase |
| wiItem | Data.Logic.KnowledgeBase |
| WithId | |
| 1 (Type/Class) | Data.Logic.KnowledgeBase |
| 2 (Data Constructor) | Data.Logic.KnowledgeBase |
| withUnivQuants | Data.Logic.Classes.FirstOrder |
logic-classes-1.4.8: Framework for propositional and first order logic, theorem proving