ACL2-pc::goals
(macro)
list the names of goals on the stack
Example and General Form:
goals
Goals lists the names of all goals that remain to be proved. They are
listed in the order in which they appear on the stack of remaining goals,
which is relevant for example to the effect of a change-goal
instruction.