p : (int -> void)

SYNOPSIS
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.

SEEALSO  b,   backup,   backup_limit,   e,   expand,   expandf,   g,   get_state,   print_state,   r,   rotate,   save_top_thm,   set_goal,   set_state,   top_goal,   top_thm

HOL  Kananaskis 0