Admin/README

back: removed ill-defined '!' option;
print_theorems: print facts in proof mode;
print_prfs: proper context version -- ProofContext.pretty_proof_of;

$Id$

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