- SYNOPSIS
-
Prints the top level of the subgoal package goal stack.
- DESCRIPTION
-
The function p is part of the subgoal package, and prints the current
goalstate.
- FAILURE CONDITIONS
-
Never fails.
- USES
-
Examining the proof state during an interactive proof session.
- COMMENTS
-
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.