Admin/README
1997-02-20 wenzelm 1997-02-20 some administrative tools for the Isabelle;