lib/Tools/logo
Tue, 29 Sep 1998 18:13:05 +0200 wenzelm handle empty name;
Fri, 25 Sep 1998 14:32:36 +0200 wenzelm improved;
Thu, 24 Sep 1998 21:32:12 +0200 wenzelm create an instance of the Isabelle logo;
less more (0) tip