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).

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. See ld-redefinition-action.