Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-16 11:43:31 -0700 (Mon, 16 Jul 2001)
Revision: 3336
Log message:

      More proof fixes.
      

Changes	Path
+23 -43	metaprl/theories/itt/itt_fset.ml
+5866 -5265	metaprl/theories/itt/itt_fset.prla