Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 1999-02-16 00:27:19 -0800 (Tue, 16 Feb 1999)
Revision: 2593
Log message:
Term_copy_weak, Term_copy2_weak, Term_norm - new modules for term coping and
term normalization. Them faster than old ones: O(n) instead of O(n*n).
These modules were tested on terms supplied to Term_copy during Metaprl
compilation and now difference between old Term_copy and Term_copy_weak found.