current_goalstack : goalstack ref

SYNOPSIS: Reference variable holding current goalstack.
DESCRIPTION: The reference variable current_goalstack contains the current goalstack. A goalstack is a type containing a list of goalstates.
FAILURE CONDITIONS: Not applicable.
COMMENTS: Users will probably not often want to examine this variable explicitly, since various proof commands modify it in various ways.
SEE ALSO: b, g, e, r.