Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-07-03 12:09:56 -0700 (Tue, 03 Jul 2001)
Revision: 3309
Log message:

      Fixed some proofs.
      

Changes  Path
+2160 -1846 metaprl/theories/itt/itt_bisect.prla
Added metaprl/theories/itt/itt_ext_equal.prla
Properties metaprl/theories/itt/itt_ext_equal.prla
+3132 -2691 metaprl/theories/itt/itt_isect.prla
+198 -146 metaprl/theories/itt/itt_pointwise2.prla
+2303 -2420 metaprl/theories/itt/itt_record_exm.prla