Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-05 18:20:52 -0700 (Thu, 05 Jul 2001)
Revision: 3316
Log message:

      - Added "'H; x: 'A; 'J['x] >- "type"{'A}" to autoT
      - Fixed a few itt_fset proofs.
      

Changes	Path
+6 -10	metaprl/theories/itt/itt_equal.ml
+37 -64	metaprl/theories/itt/itt_fset.ml
+1 -1	metaprl/theories/itt/itt_fset.mli
+18752 -9834	metaprl/theories/itt/itt_fset.prla
+4 -3	metaprl/theories/itt/itt_struct.ml
+1 -1	metaprl/theories/itt/itt_struct.mli
+5096 -4793	metaprl/theories/itt/itt_struct.prla