current_goalstack : goalstack ref
Reference variable holding current goalstack.
The reference variable current_goalstack contains the current goalstack. A
goalstack is a type containing a list of goalstates.
- FAILURE CONDITIONS
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.