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