print-all-goals.
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.