Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 1999-02-23 04:44:23 -0800 (Tue, 23 Feb 1999)
Revision: 2598
Log message:
These files were intermediate version of TermCopy between old one
and TermCopyWeak. So there is no necessity in it now.
Changes | Path |
Deleted | metaprl/mllib/ar_memo.ml |
Deleted | metaprl/mllib/ar_memo.mli |
Deleted | metaprl/refiner/reflib/ar_term_copy.ml |
Deleted | metaprl/refiner/reflib/ar_term_copy.mli |