Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-18 14:48:31 -0700 (Fri, 18 Jul 2003)
Revision: 4760
Log message:

      Bound contexts branch:
      - Changed the Ascii_IO to use a separate line formal for SO variables (and
      added more backward-compatibility code for old format)
      - Typeinf now undersdands new SO variables better.
      

Changes	Path
+8 -28	metaprl-branches/bound_contexts/filter/base/filter_summary.ml
+74 -14	metaprl-branches/bound_contexts/refiner/reflib/ascii_io.ml
+6 -4	metaprl-branches/bound_contexts/refiner/reflib/ascii_io_sig.ml
+3 -0	metaprl-branches/bound_contexts/refiner/refsig/term_man_sig.ml
+69 -32	metaprl-branches/bound_contexts/refiner/term_ds/term_base_ds.ml
+8 -0	metaprl-branches/bound_contexts/refiner/term_ds/term_ds_sig.ml
+13 -34	metaprl-branches/bound_contexts/refiner/term_ds/term_man_ds.ml
+29 -1	metaprl-branches/bound_contexts/refiner/term_gen/term_man_gen.ml
+2 -2	metaprl-branches/bound_contexts/support/shell/shell_state.ml
+2 -2	metaprl-branches/bound_contexts/support/tactics/typeinf.ml
+4 -4	metaprl-branches/bound_contexts/theories/itt/itt_equal.ml
+1 -1	metaprl-branches/bound_contexts/util/check-status