Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-05-28 21:11:05 -0700 (Thu, 28 May 1998)
Revision: 2199
Log message:

      Fixed some typos.
      Use == instead of = for comparing opnames.
      

Changes	Path
+8 -4	metaprl/refiner/term_std/term_man_std.ml
+33 -29	metaprl/refiner/term_std/term_op_std.ml
+5 -1	metaprl/refiner/term_std/term_subst_std.ml