Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-13 17:18:10 -0800 (Thu, 13 Jan 2005)
Revision: 759
Log message:

      Unfortunately, MetaPRL thinks the word "subset" is a keyword,
      so I added a new name "is_subset" that means the same thing
      as subset.
      

Changes	Path
+1 -0	libmojave/stdlib/lm_set.ml
+5 -0	libmojave/stdlib/lm_set_sig.ml