Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-02-05 17:47:36 -0800 (Fri, 05 Feb 1999)
Revision: 2587
Log message:

      This module gives an ro-array-like interface based on splay trees
      It may be useful for sequent representation since it allows
      lazy operations on subtrees and more sharing than arrays
      
      I have not yet made the changes in the term modules to make use
      of this new module
      

Changes  Path
+1 -0 metaprl/mllib/Makefile
+11 -0 metaprl/mllib/infinite_ro_array.ml
Added metaprl/mllib/linear_set.ml
Properties metaprl/mllib/linear_set.ml
Added metaprl/mllib/linear_set.mli
Properties metaprl/mllib/linear_set.mli