|
|
|---|
|
|
|
|---|
(macro) run the given instructions, and ``succeed''
Example: (succeed induct p prove) General Form: (succeed &rest instruction-list)
Run the indicated instructions until there is a hard ``failure'', and ``succeed''. (See ACL2-pc::sequence for an explanation of ``success'' and ``failure''.)