Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-11-21 14:19:12 -0800 (Sun, 21 Nov 1999)
Revision: 2857
Log message:
BUG 2.3 now includes:
Loading the same theory twice produces similar problems.
As a result, `load'ing a theory and then `cd'ing into it
(which attempts to load the theory again) does not quite work.
As a temporary workaround, the "load" function was removed from
toploop.