absurd | Logic.Propositional, GDP |
And | Logic.Propositional, GDP |
Antisymmetric | Logic.NegClasses, GDP |
antisymmetric | Logic.NegClasses, GDP |
apply | Theory.Equality, GDP |
Arg | |
1 (Type/Class) | Data.Arguments, GDP |
2 (Data Constructor) | Data.Arguments, GDP |
arg | Data.Arguments, GDP |
Argument | Data.Arguments, GDP |
assert | Data.Refined, GDP |
Associative | Logic.Classes, GDP |
associative | Logic.Classes, GDP |
axiom | Logic.Proof, GDP |