ACL2-PC_colon__colon_SLS.html -- ACL2 Version 6.3

### ACL2-PC::SLS

(macro) `` 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.