logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving

Index - Q

Quant 
1 (Type/Class)Data.Logic.Classes.FirstOrder
2 (Data Constructor)Data.Logic.Types.FirstOrder
quantData.Logic.Classes.FirstOrder
quant'Data.Logic.Classes.FirstOrder
Quantifier 
1 (Type/Class)Data.Logic.Instances.Chiou
2 (Data Constructor)Data.Logic.Instances.Chiou