lib/logo/isabelle-24.gif
Sun, 01 Dec 2013 13:03:15 +0100 wenzelm more isabelle logos (from isabelle.ico);
less more (0) tip