ACL2-PC::PRINT-ALL-CONCS

(macro) print all the conclusions of (as yet unproved) goals
Major Section:  PROOF-CHECKER-COMMANDS

Example and General Form: print-all-concs

Prints all the conclusions of goals that remain to be proved, in a pleasant format. See also the proof-checker command print-all-goals.