Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-28 16:26:29 -0800 (Tue, 28 Jan 2003)
Revision: 4028
Log message:
- Moved unify_mm from Term_ds to reflib. The code didn't have anything
that really needed access to Term_ds internal interfaces and reflib
is a more appropriate place for code like it (a basic proof-search
helper tool that is not a part of "trusted" system core).
- Removed Rob_ds from the list of compiled files. Since it's not currently
being used, there does not seem to be any reason to have it compiled
(VN, do you agree?)
- Added limited support for TermMan.clause_addr to Term_std (it is true
that Term_std does not have a agenric way fo addressing a goal, but it
doesn't mean we can not make clause_addr work for positive numbers,
which is what it is ever used for anyway).