Equal | |
1 (Data Constructor) | Data.Logic.Instances.Chiou |
2 (Data Constructor) | Data.Logic.Types.FirstOrder |
equalitize | Data.Logic.Harrison.Equal |
EQUALS | Data.Logic.Types.Harrison.Equal |
Equals | Data.Logic.Classes.Equals |
equals | Data.Logic.Classes.Equals |
Equiv | Data.Logic.Instances.Chiou |
equivalence_axioms | Data.Logic.Harrison.Equal |
eval | |
1 (Function) | Data.Logic.Harrison.Prop |
2 (Function) | Data.Logic.Harrison.FOL |
Exists | |
1 (Data Constructor) | Data.Logic.Classes.FirstOrder |
2 (Data Constructor) | Data.Logic.Types.Harrison.Formulas.FirstOrder |
exists | |
1 (Function) | Data.Logic.Harrison.Lib |
2 (Function) | Data.Logic.Classes.FirstOrder |
exists' | Data.Logic.Classes.FirstOrder |
ExistsCh | Data.Logic.Instances.Chiou |