ACL2-PC::SR

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

Example:
sr

General Form: (sr &optional rule-id)

See the documentation for show-rewrites, as sr and show-rewrites are identical.