Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-11-29 15:28:38 -0800 (Sun, 29 Nov 1998)
Revision: 2520
Log message:
Added the bi-directional Term_copy module
written by Yegon Bryukhov <yegor@lpcs.math.msu.ru>
This version is undebugged and is very slow:
it seems to be quadratic and also it becomes much slower
after each invocation.