Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-26 17:27:38 -0700 (Sun, 26 Jul 1998)
Revision: 2366
Log message:
Added a new function get_core that is supposed to know how to push down
delayed substitutions into the special terms without converting them into
an "ugly" form.
is_*_term functions should use get_core instead of dest_term since dest_term
should not be called on special terms