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''.)