REDEF

a common way to set ld-redefinition-action 
Major Section:  MISCELLANEOUS


Example and General Form:
ACL2 !>:redef
This 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.