Restores the proof state, undoing the effects of a previous expansion.

DESCRIPTION

The function b is part of the subgoal package. It allows backing up
from the last state change (caused by calls to e, g, r, set_goal etc.)
The package maintains a backup list of previous proof states. A call to b
restores the state to the previous state (which was on top of the backup list).