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-rewritesproof-checker command; see its documentation for details. Also see the documentation for proof-checker command
apply-linearfor how to apply linear rules.