Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
p : unit -> goalstack
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.