Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-13 19:16:46 -0800 (Thu, 13 Jan 2005)
Revision: 760
Log message:

      Add an "is_closed_term" function.
      

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