Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-02-01 00:13:50 -0800 (Thu, 01 Feb 2001)
Revision: 3126
Log message:

      My first two proofs(int_sqequal_rw and beq_int_is_true_rw)
      

Changes	Path
+1498 -1417	metaprl/theories/itt/itt_int_base.prla