Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-04 18:15:05 -0800 (Tue, 04 Nov 2003)
Revision: 5071
Log message:

      Changing the order of arguments in apply_subst to make it easier to use
      it in functions like List.map.
      

Changes  Path
+2 -2 metaprl/refiner/reflib/unify_mm.ml
+1 -1 metaprl/refiner/refsig/term_subst_sig.ml
+7 -9 metaprl/refiner/term_ds/term_subst_ds.ml
+2 -2 metaprl/refiner/term_std/term_subst_std.ml
+1 -1 metaprl/support/tactics/simp_typeinf.ml
+1 -1 metaprl/support/tactics/typeinf.ml
+2 -2 metaprl/theories/itt/itt_equal.ml
+11 -11 metaprl/theories/itt/itt_logic.ml
+3 -3 mpcompiler/mmc/core/mmc_core_type_infer.ml