Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-06 17:29:40 -0700 (Fri, 06 Jul 2001)
Revision: 3321
Log message:

      More itt_fset fixes.
      

Changes	Path
+36 -67	metaprl/theories/itt/itt_fset.ml
+0 -1	metaprl/theories/itt/itt_fset.mli
+3035 -3228	metaprl/theories/itt/itt_fset.prla