REMOVE-NTH-ALIAS.html -- ACL2 Version 6.3

## REMOVE-NTH-ALIAS

remove a symbol alias for printing of `nth`/`update-nth` terms

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

    Example:
    (remove-nth-alias append)

    General Form:
    (remove-nth-alias alias-name)

See nth-aliases-table for further discussion; also see add-nth-alias. This form sets `nth-aliases-table` to the result of deleting the key `alias-name` from that table. If the name does not occur in the table, then this form still generates an event, but the event has no real effect.