Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-07-09 10:33:39 -0700 (Mon, 09 Jul 2001)
Revision: 3323
Log message:

      Fix some proofs
      

Changes	Path
+2 -1	metaprl/theories/czf/czf_itt_set.ml
+5390 -5730	metaprl/theories/czf/czf_itt_set.prla
+1 -0	metaprl/theories/itt/itt_eta.ml
+4 -0	metaprl/theories/itt/itt_eta.mli
+3906 -4533	metaprl/theories/itt/itt_struct2.prla
+0 -22	metaprl/theories/itt/itt_w.ml