Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-23 09:55:56 -0800 (Sun, 23 Jan 2005)
Revision: 6475
Log message:

      Move the term record definitions into Term_sig proper.
      

Changes	Path
+1 -0	metaprl-branches/opname_classes2/filter/base/filter_cache_fun.ml
+1 -1	metaprl-branches/opname_classes2/filter/base/filter_magic.ml
+33 -8	metaprl-branches/opname_classes2/filter/base/filter_type.ml
+2 -2	metaprl-branches/opname_classes2/filter/filter/filter_patt.ml
+1 -0	metaprl-branches/opname_classes2/filter/phobos/phobos_constants.ml
+8 -8	metaprl-branches/opname_classes2/refiner/reflib/ascii_io.ml
+1 -0	metaprl-branches/opname_classes2/refiner/reflib/jall.ml
+1 -0	metaprl-branches/opname_classes2/refiner/reflib/lib_term.ml
+10 -10	metaprl-branches/opname_classes2/refiner/reflib/term_compare.ml
+1 -0	metaprl-branches/opname_classes2/refiner/reflib/unify_mm.ml
+34 -11	metaprl-branches/opname_classes2/refiner/refsig/term_sig.ml
+5 -5	metaprl-branches/opname_classes2/refiner/term_ds/term_ds.ml
+5 -5	metaprl-branches/opname_classes2/refiner/term_ds/term_ds_sig.ml
+6 -6	metaprl-branches/opname_classes2/refiner/term_gen/term_hash.ml
+7 -7	metaprl-branches/opname_classes2/refiner/term_gen/term_header_constr.ml
+5 -5	metaprl-branches/opname_classes2/refiner/term_std/term_std.ml
+5 -5	metaprl-branches/opname_classes2/refiner/term_std/term_std_sig.ml
+1 -0	metaprl-branches/opname_classes2/support/display/summary.ml
+1 -0	metaprl-branches/opname_classes2/support/shell/shell_core.ml
+1 -0	metaprl-branches/opname_classes2/theories/czf/czf_itt_rel.ml
+1 -0	metaprl-branches/opname_classes2/theories/experimental/compile/m_standardize.ml
+1 -0	metaprl-branches/opname_classes2/theories/itt/itt_derive.ml
+1 -0	metaprl-branches/opname_classes2/theories/tptp/tptp_cache.ml