Basic.mod revision 81f63d098d411c2a56dba44cd4129363e3cc209d
prop p;
i
props p,q,r;
h;
axioms
. p
. p /\ r
. p \/ r
. not p
. p => p
. p <=> q
. [] p
. <> p