Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-15 02:14:11 -0700 (Sun, 15 Jul 2001)
Revision: 3335
Log message:

      Fixed more Itt_fset proofs.
      

Changes	Path
+267 -354	metaprl/theories/itt/itt_fset.ml
+8 -10	metaprl/theories/itt/itt_fset.mli
+17402 -16649	metaprl/theories/itt/itt_fset.prla
+1 -1	metaprl/theories/itt/itt_list.ml