ACL2-PC::GOALS

(macro) list the names of goals on the stack
Major Section:  PROOF-CHECKER-COMMANDS

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.