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