Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-18 14:59:30 -0700 (Mon, 18 Jun 2001)
Revision: 3275
Log message:

      - Added the Itt_inv_typing theory that contain some inverse typing rule
      - More on records
      

Changes	Path
+9 -1	metaprl/BUGS
+1 -0	metaprl/theories/itt/Makefile
+16 -11	metaprl/theories/itt/itt_disect.ml
+4 -0	metaprl/theories/itt/itt_disect.mli
Added	metaprl/theories/itt/itt_inv_typing.ml
Properties	metaprl/theories/itt/itt_inv_typing.ml
Added	metaprl/theories/itt/itt_inv_typing.mli
Properties	metaprl/theories/itt/itt_inv_typing.mli
+48 -32	metaprl/theories/itt/itt_record.ml
+7010 -4970	metaprl/theories/itt/itt_record.prla
+6 -0	metaprl/theories/itt/itt_record0.ml
+2 -0	metaprl/theories/itt/itt_record0.mli
+2459 -2740	metaprl/theories/itt/itt_record0.prla