lib/logo/isabelle_holcf.gif
1997-10-07 wenzelm The Isabelle Logo;
less more (0) tip