Major Section: MISCELLANEOUS
Example and General Form: ACL2 !>:redefThis command sets
'(:query . :overwrite).
As explained elsewhere (see ld-redefinition-action), this
allows redefinition of functions and other events without undoing.
A query will be made every time a redefinition is commanded; the
user must explicitly acknowledge that the redefinition is
intentional. It is possible to set
ld-redefinition-action so that
the redefinition of non-system functions occurs quietly.