Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-13 18:46:38 -0700 (Tue, 13 May 2003)
Revision: 4595
Log message:

      Use "equiv" instead of "sim" for squiggle equality; other minor changes.
      

Changes	Path
+1 -1	metaprl/Makefile
+7 -12	metaprl/refiner/reflib/ml_term.ml
+1 -1	metaprl/theories/itt/itt_squiggle.ml