ACL2-PC::SR

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


Example:
sr

General Form:
(sr &optional rule-id enabled-only-flg)
See the documentation for show-rewrites, as sr and show-rewrites are identical.