ACL2-PC::QUIET

(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.

See also noise.