Admin/README

abbrev: return hypothetical def;
replaced obsolete Theory.add_finals_i by Theory.add_deps;
misc cleanup;

$Id$

This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in public distributions.