Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-02-25 09:59:51 -0800 (Thu, 25 Feb 1999)
Revision: 2601
Log message:
1) Functorized the Term_copy[2]_weak/Term_hash/Termm_header/etc modules
correctly, now it should be easy make the Term_hash module
a part of the refiner
2) Created a new Term_io module that provides Refiner_std <-> Refiner
convertion based on the term_copy2_weak, these functions are now used
instead of the old Term_copy functions
3) Removed old Term_copy - related modules