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 |