Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-15 16:34:25 -0700 (Fri, 15 Jul 2005)
Revision: 7618
Log message:

      !!! Wise men puzzle proved !!!
      (by prover, not by me)
      

Changes	Path
+132 -71	metaprl/theories/s4lp/s4_tests.prla