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.