lib/logo/isabelle_any.eps
Thu, 01 Oct 1998 20:33:01 +0200 wenzelm white border -- disabled;
Thu, 24 Sep 1998 21:19:01 +0200 wenzelm generic eps version;
less more (0) tip