Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-07 17:07:11 -0700 (Mon, 07 Jul 2003)
Revision: 4712
Log message:

      Changed the string representation of variables.  The Lm_symbol.add
      function will now try to parse a numeric suffix correctly.
      The bindings in Filter_util now use strings instead of variables.
      

Changes  Path
+2 -4 metaprl-branches/abstract_vars/filter/Makefile
+6 -6 metaprl-branches/abstract_vars/filter/base/filter_summary.ml
+1 -1 metaprl-branches/abstract_vars/filter/base/filter_type.ml
+1 -1 metaprl-branches/abstract_vars/filter/filter/filter_parse.ml
+1 -1 metaprl-branches/abstract_vars/filter/filter/filter_prog.ml
+1 -27 metaprl-branches/abstract_vars/support/tactics/var.ml
+34 -53 metaprl-branches/abstract_vars/theories/itt/itt_list2.ml