Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-25 07:54:40 -0700 (Wed, 25 May 2005)
Revision: 7331
Log message:

      Earlier today, a few .prla files got corrupted and three commits back I've
      committed a number of corrupted .prla files, so now I am committing corrected
      ones.
      
      The files were probably corrupted because of the weak memo bug. I've found
      that meta_term header comparison was missing a case - not sure if this could
      have caused the problems we were seeing, but hopefully this will finally get
      rid of them!
      

Changes	Path
+1 -0	metaprl/refiner/term_gen/term_hash.ml
+6050 -6749	metaprl/theories/itt/itt_record.prla
+534 -847	metaprl/theories/itt/itt_record_renaming.prla