Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-12 12:52:40 -0700 (Tue, 12 Aug 2003)
Revision: 140
Log message:

      Turned off the hyp check so that we can at least see the sequents.
      However, it looks like my hack in Unify_mm doesn't work like we want.
      

Changes	Path
+12 -6	libmojave/util/lm_symbol.ml