Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-15 20:29:36 -0700 (Tue, 15 Jul 2003)
Revision: 4750
Log message:

      Moved some of the new functionality from Term_man to Term_meta (for the only
      reason - there is only one copy of Term_meta and I do not want to keep implementing
      these things twice).
      

Changes	Path
+2 -1	metaprl-branches/bound_contexts/refiner/refiner/refiner_ds.ml
+2 -1	metaprl-branches/bound_contexts/refiner/refiner/refiner_std.ml
+1 -1	metaprl-branches/bound_contexts/refiner/reflib/ascii_io.ml
+0 -1	metaprl-branches/bound_contexts/refiner/refsig/term_man_minimal_sig.ml
+0 -6	metaprl-branches/bound_contexts/refiner/refsig/term_man_sig.ml
+6 -0	metaprl-branches/bound_contexts/refiner/refsig/term_meta_sig.ml
+1 -33	metaprl-branches/bound_contexts/refiner/refsig/termmod_hash_sig.ml
+6 -0	metaprl-branches/bound_contexts/refiner/refsig/termmod_sig.ml
+0 -73	metaprl-branches/bound_contexts/refiner/term_ds/term_man_ds.ml
+0 -75	metaprl-branches/bound_contexts/refiner/term_gen/term_man_gen.ml
+84 -1	metaprl-branches/bound_contexts/refiner/term_gen/term_meta_gen.ml
+12 -1	metaprl-branches/bound_contexts/refiner/term_gen/term_meta_gen.mli