Admin/README
2008-07-17 wenzelm 2008-07-17 tuned;
1997-02-20 wenzelm 1997-02-20 some administrative tools for the Isabelle;