ACL2-PC::AL
(macro)
same as apply-linear
Major Section:
PROOF-CHECKER-COMMANDS
Example: (al 3)
See the documentation for
apply-linear
, as
al
and
apply-linear
are identical.
