Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-03-09 13:43:11 -0700 (Sun, 09 Mar 2008)
Revision: 12763
Log message:

      noticed some minor defects while we were working on CIC description,
     some of them are not fixed, only noted.

Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-03-10 14:19:16 -0700 (Mon, 10 Mar 2008)
Revision: 12764
Log message:

      The quickref needs to go on the website.

Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-03-26 19:43:07 -0700 (Wed, 26 Mar 2008)
Revision: 12807
Log message:

      added a wf-lemma and a syllogism rule

Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-03-26 20:33:57 -0700 (Wed, 26 Mar 2008)
Revision: 12808
Log message:

      there is some proble mwith parenthesization of implication,
     there were no parentheses before, no they are always displayed, 
     ignoring precedence. I have to look at ITT display forms to fix it.