[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: RE: Assertions, claims etc.
With correction > x:A /\ x:B > ---------- > x:(A /\ B) > > and > The next one should of course have been: x:(A /\ B) ---------- x:A /\ x:B >
Phillip Hallam-Baker (E-mail).vcf
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC