Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-07 18:58:45 -0700 (Mon, 07 Jul 2003)
Revision: 102
Log message:

      - Added Lm-symbol.make that takes an explicit string and an int.
      - The meta-sequent labels are strings, not variables.
      

Changes  Path
+1 -0 libmojave-branches/abstract_vars/util/lm_symbol.ml
+1 -0 libmojave-branches/abstract_vars/util/lm_symbol.mli