Prints the top levels of the subgoal package goal stack.
DESCRIBE
The function p is part of the subgoal package. It is an abbreviation for the
function print_state. For a description of the subgoal package, see
set_goal.
FAILURE
Never fails.
USES
Examining the proof state during an interactive proof session.