Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-11-29 15:30:20 -0800 (Sun, 29 Nov 1998)
Revision: 2521
Log message:

      I forgot to include these files into the previous Term_copy commit
      

Changes	Path
Added	metaprl/mllib/bi_memo.ml
Properties	metaprl/mllib/bi_memo.ml
Added	metaprl/mllib/bi_memo.mli
Properties	metaprl/mllib/bi_memo.mli