ACL2-PC_colon__colon_SHOW-LINEARS.html -- ACL2 Version 6.1

ACL2-PC::SHOW-LINEARS

(macro) display the applicable linear rules

Major Section:  PROOF-CHECKER-COMMANDS

Example:
show-linears

General Form:
(show-linears &optional rule-id enabled-only-flg)

This command displays linear rules with a trigger term that matches the current subterm, and shows how they can be applied. This command is analogous to the show-rewrites proof-checker command; see its documentation for details. Also see the documentation for proof-checker command apply-linear for how to apply linear rules.