Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-08-04 16:46:32 -0700 (Tue, 04 Aug 1998)
Revision: 2404
Log message:

      Fixed a problem with Fun_splay_set.union, which was introducing
      non-sorted splay trees.
      

Changes	Path
+1 -1	metaprl/editor/ml/Makefile
+72 -37	metaprl/editor/ml/test.ml
+14 -18	metaprl/mllib/fun_splay_set.ml
+8 -1	metaprl/theories/tptp/tptp_prove.ml