Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-04-15 18:45:54 -0700 (Tue, 15 Apr 2003)
Revision: 13
Log message:

      Forgot to add lm_symbol.ml.  USe a simpler version of symbols based just
      on strings, so that we don't have to worry about reintern on marshaling.
      

Changes  Path
Added omake/lm_symbol_omake.ml
Properties omake/lm_symbol_omake.ml