Admin/README
1997-02-20 wenzelm some administrative tools for the Isabelle;
less more (0) tip