same as SHOW-LINEARS
Major Section: PROOF-CHECKER-COMMANDS
Example: srs General Form: (srs &optional rule-id enabled-only-flg)See the documentation for
show-linears, as sls and show-linears
are identical. NOTE: In analogy to the sr abbreviation for
show-rewrites, one might expect this command to be sl; but that name
was taken (``simplify with lemmas'') before sls was implemented.