explicit error for Toplevel.proof_of;
eliminated obsolete Toplevel.unknown_proof;
more total Toplevel.proof_position_of;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.