Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 1999-01-17 00:09:25 -0800 (Sun, 17 Jan 1999)
Revision: 2572
Log message:

      
      
      Alternate version of Term_copy with Alesha'a "fast" algorithm.
      Not tested yet.
      

Changes	Path
Added	metaprl/mllib/ar_memo.ml
Properties	metaprl/mllib/ar_memo.ml
Added	metaprl/mllib/ar_memo.mli
Properties	metaprl/mllib/ar_memo.mli
Added	metaprl/mllib/infinite_ro_array.ml
Properties	metaprl/mllib/infinite_ro_array.ml
Added	metaprl/mllib/infinite_ro_array.mli
Properties	metaprl/mllib/infinite_ro_array.mli
Added	metaprl/mllib/infinite_ro_array_sig.mlz
Properties	metaprl/mllib/infinite_ro_array_sig.mlz
Added	metaprl/refiner/reflib/ar_term_copy.ml
Properties	metaprl/refiner/reflib/ar_term_copy.ml
Added	metaprl/refiner/reflib/ar_term_copy.mli
Properties	metaprl/refiner/reflib/ar_term_copy.mli