Admin/README
2012-08-17 wenzelm 2012-08-17 tuned;
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2008-07-17 wenzelm 2008-07-17 tuned;
1997-02-20 wenzelm 1997-02-20 some administrative tools for the Isabelle;