(macro) print all the (as yet unproved) goals
Example and General Form: print-all-goals
Prints all the goals that remain to be proved, in a pleasant format, ordered as by the command, ACL2-pc::goals. Also see ACL2-pc::print-all-concs.
