Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-16 18:46:48 -0700 (Sat, 16 Jul 2005)
Revision: 7622
Log message:

      I changed a theorem statement and its proof became "infinite", this commit removes the proof.
      

Changes	Path
+1 -1	metaprl/theories/s4lp/s4_tests.ml
+346 -358	metaprl/theories/s4lp/s4_tests.prla