REDEF_bang_.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 `'(:warn! . :overwrite)`.

This command allows redefinition of functions and other events without undoing, but with a warning. The command `:``redef` is similar, but queries the user first before doing the redefinition. For more related options, see ld-redefinition-action.