Major Section: MISCELLANEOUS
Example and General Form: ACL2 !>:redefThis command sets
ld-redefinition-action to
'(: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.