lib/icons/isabelle-mini.xpm
Fri, 30 Apr 1999 17:46:14 +0200 wenzelm Isabelle icons;
less more (0) tip