replaced Proof.get_goal state by Proof.flat_goal state, which provides the standard view on goals for (semi)automated tools;
Tools: generic tools outside of Pure
This directory contains ML sources of generic tools. Typically, they
can be applied to various logics.