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.
