Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-24 01:17:53 -0800 (Mon, 24 Jan 2005)
Revision: 6488
Log message:
Removing the unused TermEval.
TermEval was the very first thing I tried to do in MetaPRL (back in 1998).
A lot of things came out if the ideas behind that attempt (including the
Term_ds module), but the TermEval implementation never got far and was
never used in any way.