ACL2-PC::R

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


Example:
(r 3)


General Form:
(rewrite &optional rule-id substitution
         ;; below are rare arguments, used for disambiguation:
         target-lhs target-rhs target-hyps target-equiv)
See the documentation for rewrite, as r and rewrite are identical.