[yegor] noticed some minor defects while we were working on CIC description,_ Sun Mar 9 13:43:13 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-09-13-43-13-396928000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-09-13-43-13-396928000-PDT.html [jyh] The quickref needs to go on the website._ Mon Mar 10 14:19:18 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-10-14-19-18-946671000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-10-14-19-18-946671000-PDT.html [yegor] added a wf_lemma and a syllogism rule_ Wed Mar 26 19:43:08 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-26-19-43-08-593361000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-26-19-43-08-593361000-PDT.html [yegor] there is some proble mwith parenthesization of implication,_ Wed Mar 26 20:33:58 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-26-20-33-58-468497000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-03/2008-03-26-20-33-58-468497000-PDT.html