Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-17 18:28:30 -0700 (Mon, 17 May 2004)
Revision: 5786
Log message:

      Moved the param' type to the top-level of the Term_sig module
      (to avoid having 5 copies of it).
      

Changes	Path
+1 -0	metaprl/editor/ml/nuprl_eval.ml
+1 -0	metaprl/editor/ml/nuprl_jprover.ml
+1 -0	metaprl/filter/base/filter_ocaml.ml
+6 -6	metaprl/filter/filter/filter_parse.ml
+5 -4	metaprl/filter/phobos/phobos_rewrite.ml
+1 -0	metaprl/library/basic.ml
+1 -0	metaprl/library/db.ml
+1 -0	metaprl/library/definition.ml
+1 -0	metaprl/library/library.ml
+1 -0	metaprl/library/link.ml
+2 -1	metaprl/library/mbterm.ml
+1 -0	metaprl/library/nuprl5.ml
+1 -0	metaprl/library/orb.ml
+1 -0	metaprl/refiner/reflib/ascii_io.ml
+11 -10	metaprl/refiner/reflib/term_compare.ml
+1 -0	metaprl/refiner/reflib/term_order.ml
+21 -20	metaprl/refiner/refsig/term_sig.ml
+1 -0	metaprl/refiner/term_ds/Makefile
+1 -0	metaprl/refiner/term_ds/OMakefile
+1 -15	metaprl/refiner/term_ds/term_ds.ml
+1 -12	metaprl/refiner/term_ds/term_ds_sig.ml
+1 -0	metaprl/refiner/term_ds/term_eval_ds.ml
+5 -10	metaprl/refiner/term_gen/term_header_constr.ml
+1 -1	metaprl/refiner/term_gen/term_shape_gen.ml
+1 -0	metaprl/refiner/term_std/Makefile
+1 -0	metaprl/refiner/term_std/OMakefile
+1 -0	metaprl/refiner/term_std/term_base_std.ml
+1 -0	metaprl/refiner/term_std/term_eval_std.ml
+1 -0	metaprl/refiner/term_std/term_op_std.ml
+2 -15	metaprl/refiner/term_std/term_std.ml
+2 -15	metaprl/refiner/term_std/term_std_sig.ml
+1 -0	metaprl/refiner/term_std/term_subst_std.ml
+1 -0	metaprl/tactics/proof/proof_term_boot.ml
+1 -0	metaprl/theories/base/base_meta.ml
+2 -3	metaprl/theories/experimental/compile/m_x86_term.ml
+1 -0	metaprl/theories/fir/mfir_termOp_base.ml
+1 -0	metaprl/theories/phobos/phobos_base.ml