ACL2-PC::SUCCEED

(macro) run the given instructions, and ``succeed''
Major Section:  PROOF-CHECKER-COMMANDS

Example:
(succeed induct p prove)

General Form: (succeed &rest instruction-list)

Run the indicated instructions until there is a hard ``failure'', and ``succeed''. (See the documentation for sequence for an explanation of ``success'' and ``failure''.)