Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-25 05:50:15 -0700 (Wed, 25 May 2005)
Revision: 7329
Log message:

      In my previous commit, I accidentally included some temporary transition code,
      reverting.
      
      Also, it turned out that the itt_record_renaming.prla used to be malformed (it
      had two different entries called "x" - variable 'x<||>[] and Itt_labels!x) as
      a rusult of previous manual edit. Now that the file was modified, this made
      the problem explicit. Fixing...
      

Changes	Path
+3 -16	metaprl/tactics/proof/proof_boot.ml
+3 -2	metaprl/theories/itt/itt_record_renaming.prla