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

## ADD-NTH-ALIAS

associate one symbol with another for printing of `nth`/`update-nth` terms

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

    Example:
    (add-nth-alias st0 st)

This example associates the symbol `st0` with the symbol `st` for purposes of printing certain terms of the form `(nth n st0)` and `(update-nth n val st0)`.

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

This is a convenient way to add an entry to `nth-aliases-table`. See nth-aliases-table and also see remove-nth-alias.