Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-17 02:53:44 -0700 (Thu, 17 Jul 2003)
Revision: 4758
Log message:
Fixed a bunch of places where dest_term was called on "special" terms.
(Note - this should also be a big help for nested sequents support).