Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-02-09 18:44:05 -0800 (Tue, 09 Feb 1999)
Revision: 2589
Log message:

      Fixed some bugs, added some debugging code
      
      I am not going commit my Term module changes until I create
      the compile option to use usual ROArrays instead of LinearSets.
      
      From what I saw, LinearSets can be much slower.
      

Changes	Path
+79 -34	metaprl/mllib/linear_set.ml
+4 -1	metaprl/mllib/linear_set.mli