		Search-engine friendly clone of the ACL2 documentation.

Trace

Untrace$

Untrace functions

Examples:
(untrace$)         ; untrace all functions previously
                   ; traced (e.g. with trace$ or trace!)
(untrace$ foo bar) ; as above, except only untrace foo and bar

General Forms:
(untrace$)                 ; untrace all (as noted above)
(untrace$ fn1 fn2 ... fnk) ; untrace the indicated functions

where the fni were previously traced (e.g. with trace$ or trace!).

Untrace$ undoes the effect of trace$. See trace$. The value returned by untrace$ gives the list of functions for which tracing is being removed.