Admin/README
2010-05-12 wenzelm removed obsolete CVS Ids;
2008-07-17 wenzelm tuned;
1997-02-20 wenzelm some administrative tools for the Isabelle;
less more (0) tip