Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-08 23:44:51 -0700 (Tue, 08 Jul 2003)
Revision: 4722
Log message:

      Revercing the last (branch) change to these files - now that the variable
      handling is a little more sane, the existing (trunk) proofs are OK.
      

Changes  Path
+2100 -2144 metaprl-branches/abstract_vars/theories/itt/itt_record0.prla
+2208 -2101 metaprl-branches/abstract_vars/theories/itt/itt_sort.prla