Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-20 05:48:17 -0700 (Fri, 20 May 2005)
Revision: 7308
Log message:

      More fixed related to improper usage of Pervasives.compare, =, etc.
      

Changes	Path
+4 -0	metaprl/refiner/refiner/refiner_debug.ml
+33 -25	metaprl/refiner/reflib/jall.ml
+1 -9	metaprl/refiner/reflib/unify_mm.ml
+1 -0	metaprl/refiner/refsig/term_subst_sig.ml
+9 -10	metaprl/refiner/term_ds/term_subst_ds.ml
+11 -16	metaprl/refiner/term_std/term_subst_std.ml
+1 -1	metaprl/theories/itt/itt_logic.ml