Major Section: MISCELLANEOUS
Example and General Form: ACL2 !>:redefThis command sets
'(:query . :overwrite).
This command allows redefinition of functions and other events without
undoing, but with a query that requires the user to acknowledge that the
redefinition is intentional. To avoid that query, see redef! or for more
options, see ld-redefinition-action.