Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-23 23:01:32 -0700 (Thu, 23 Jul 1998)
Revision: 2348
Log message:
Term_copy now checks if the term is a sequent (with is_sequent_term)
and uses explode_sequent/mk_sequent_term instead of dest_term/make_term
for sequents