UNTR _ _ _ _ _ _ _ _ _ _ _ _ declaration
The untr declaration is used to remove a trace from system or user-written procedures declared with tr. It is only useful to those with a good knowledge of both Lisp and the internal formats used by REDUCE.
<name> is the name of a REDUCE system procedure or one of your own procedures that has previously been the argument of a tr declaration.