ACL2-PC_colon__colon_QUIET.html -- ACL2 Version 6.1

(meta) run instructions without output

Major Section:  PROOF-CHECKER-COMMANDS

Example:
(quiet induct prove)

General Form:
(quiet &rest instruction-list)

Run the instruction-list through the top-level loop with no output.