Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-08 21:37:34 -0700 (Tue, 08 Jul 2003)
Revision: 106
Log message:

      Lm_symbol.add and Lm_symbol.string_of_symbol now extablish 1-to-1 correspondence
      between symbols and non-empty strings
      

Changes  Path
+20 -30 libmojave-branches/abstract_vars/util/lm_symbol.ml