Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-29 19:25:17 -0800 (Mon, 29 Mar 2004)
Revision: 5573
Log message:

      Regenerating the .prla hoping that it would "scare off" this particular
      instance of the Weak_memo bug (that seem to be occurring a lot on this file
      lately :-( ).
      

Changes	Path
+2237 -1616	metaprl/theories/itt/itt_squiggle.prla