Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-31 22:38:09 -0800 (Mon, 31 Mar 2003)
Revision: 4361
Log message:

      - Proved all the rules in itt_record_exm
      - Refreshed a bunch of .prla to get rid of compilation warnings.
      

Changes  Path
+5050 -5595 metaprl/theories/czf/czf_itt_set.prla
+4003 -4755 metaprl/theories/itt/itt_disect.prla
+7835 -8652 metaprl/theories/itt/itt_equal.prla
+3 -3 metaprl/theories/itt/itt_record_exm.ml
+5777 -5663 metaprl/theories/itt/itt_record_exm.prla
+1208 -1475 metaprl/theories/itt/itt_record_label.prla
+3299 -3352 metaprl/theories/itt/itt_subset.prla