Prints the top level of the subgoal package goal stack.
The function p is part of the subgoal package, and prints the current
- FAILURE CONDITIONS
Examining the proof state during an interactive proof session.
Strictly speaking this function is side-effect-free. It simply returns
the current goalstate. However, automatic printing will normally then print it,
so that is the net effect.
- SEE ALSO
b, e, g, r.