REDEF.html -- ACL2 Version 6.3

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