ACL2-PC::R

(macro) same as rewrite
Major Section:  PROOF-CHECKER-COMMANDS

Example:
(r 3)

See the documentation for rewrite, as r and rewrite are identical.