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.