Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-20 16:06:48 -0700 (Fri, 20 Jul 2001)
Revision: 3343
Log message:

      Itt_fset is finally complete!
      

Changes	Path
+4 -4	metaprl/theories/itt/itt_bool.ml
+5028 -4804	metaprl/theories/itt/itt_bool.prla
+0 -4	metaprl/theories/itt/itt_equal.ml
+10 -10	metaprl/theories/itt/itt_fset.ml
+5984 -9787	metaprl/theories/itt/itt_fset.prla