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.