- Instantiated parts_insert_substD to avoid problems with HO unification
- Replaced auto by fastsimp in proof of parts_invKey, since auto looped
because of the new encoding of sets
$Id$
This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in public distributions.