moved after method.ML;
moved FINDGOAL/HEADGOAL to method.ML;
moved type method to method.ML;
prepare attributes here;
tuned various interfaces (cf. isar_thy.ML);
tuned;
$Id$
This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in public distributions.