lib/logo/isabelle_transparent-16.gif
Thu, 05 Dec 2013 19:47:48 +0100 wenzelm more isabelle logos (from isabelle_transparent.ico);
less more (0) tip