ACL2-PC_colon__colon_SHOW-LINEARS.html -- ACL2 Version 6.3

### 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.