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