Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-09 05:23:45 -0800 (Tue, 09 Mar 2004)
Revision: 327
Log message:

      Removing the distinction between the Hypothesis and HypBinding - it was
      causing too much trouble unnecessarily complicating a lot of code.
      
      The IO part of the distinction is still there - on IO the "unused" bindings
      are interpreted as variables with an empty "string" part.
      

Changes	Path
+2 -0	libmojave/util/lm_symbol.ml
+4 -0	libmojave/util/lm_symbol.mli