ACL2-PC::RUN-INSTR-ON-NEW-GOALS
(macro)
auxiliary to
then
Major Section:
PROOF-CHECKER-COMMANDS
See documentation for
then
.
