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