Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-11-07 15:03:08 -0800 (Fri, 07 Nov 2003)
Revision: 5080
Log message:

      I fogot to commit the proofs last time. Here they are.
      

Changes	Path
+4034 -3982	metaprl/theories/itt/itt_record.prla
+1018 -2151	metaprl/theories/itt/itt_record0.prla
+2059 -2335	metaprl/theories/itt/itt_record_exm.prla
+2553 -1129	metaprl/theories/itt/itt_record_label.prla
+600 -572	metaprl/theories/itt/itt_record_label0.prla
Added	metaprl/theories/itt/itt_record_renaming.prla
Properties	metaprl/theories/itt/itt_record_renaming.prla