lib/logo/isabelle-tiny.xpm
Fri, 10 Jul 1998 15:19:10 +0200 wenzelm added xpm icons;
less more (0) tip