Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-02-05 12:00:52 -0800 (Mon, 05 Feb 2001)
Revision: 3141
Log message:

      I return the name Perv!rewrite for ~. So one can use both mechanisms for applying conditional rewrites:
      the old one and the new one.
      

Changes	Path
+4 -3	metaprl/filter/base/term_grammar.ml
+3 -1	metaprl/theories/itt/itt_squiggle.ml
+0 -1	metaprl/theories/itt/itt_squiggle.mli