run the given instructions, and ``succeed''
Major Section: PROOF-CHECKER-COMMANDS
Example: (succeed induct p prove)Run the indicated instructions until there is a hard ``failure'', and ``succeed''. (See the documentation for
General Form: (succeed &rest instruction-list)
sequencefor an explanation of ``success'' and ``failure''.)