Admin/README

ResAxioms.neg_conjecture_clauses: proper context;
let exceptions get through unhindered -- Poly/ML exception_trace will do the tracing;

$Id$

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