Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-04 14:51:58 -0700 (Fri, 04 Jul 2003)
Revision: 4701
Log message:
Explode_term must be a total function (we can not have tactics using
it raise Invalid_argument just because they happen to hit an unsupported
parameter).