Admin/README

- add_inductive_i now takes typ instead of typ option as argument
- close_rule is now applied before expanding abbreviations
- rulify applies norm_hhf again

$Id$

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