SHOW-BODIES

A definition made using defun installs a so-called ``body'' of a
function symbol, as do certain :definition rules. Such bodies are
used in a number of ways, including the application of :expandhints; see definition, in particular the discussion of ``body'' there,
and see hints for a discussion of the :expand hint. Also see set-body
for how to change which of the available definitions (among the original
definition and appropriate :definition rules) is the one that
provides the body. The show-bodies command displays the available such
bodies in an appropriate format, starting with the one that is currently used
as the body.