Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-07-21 18:58:32 -0700 (Tue, 21 Jul 1998)
Revision: 2338
Log message:

      Changed opname equality.  Opnames should be compared with
      the function Opname.eq.
      

Changes	Path
+13 -13	metaprl/editor/ml/io_proof.ml
+4 -4	metaprl/filter/filter_cache.ml
+12 -12	metaprl/filter/filter_ocaml.ml
+35 -35	metaprl/filter/filter_summary.ml
+92 -41	metaprl/refiner/refbase/opname.ml
+2 -0	metaprl/refiner/refbase/opname.mli
+1 -1	metaprl/refiner/refiner/rewrite.mlp
+1 -1	metaprl/refiner/reflib/dform.ml
+10 -10	metaprl/refiner/term_ds/term_base_ds.mlp
+4 -4	metaprl/refiner/term_ds/term_eval_ds.mlp
+45 -45	metaprl/refiner/term_ds/term_op_ds.mlp
+10 -10	metaprl/refiner/term_ds/term_subst_ds.mlp
+4 -4	metaprl/refiner/term_gen/term_addr_gen.mlp
+39 -39	metaprl/refiner/term_gen/term_man_gen.mlp
+8 -8	metaprl/refiner/term_std/term_base_std.mlp
+4 -4	metaprl/refiner/term_std/term_eval_std.mlp
+45 -45	metaprl/refiner/term_std/term_op_std.mlp
+16 -16	metaprl/refiner/term_std/term_subst_std.mlp
+1 -1	metaprl/theories/itt/itt_squash.ml
+1 -1	metaprl/theories/itt/itt_subtype.ml
+1 -1	metaprl/theories/tactic/conversionals.ml