Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-31 08:23:28 -0700 (Fri, 31 Jul 1998)
Revision: 2378
Log message:

      In Term_ds module is_* functions should use get_core instead of dest-term
      since dest_term may raise an exception when called on a special term while
      is_* functions should not raise any exceptions.
      

Changes	Path
+4 -4	metaprl/refiner/term_ds/term_op_ds.mlp