lib/logo/isabelle_holcf.gif
author wenzelm
Wed, 06 Oct 1999 21:32:52 +0200
changeset 7762 c98d70538033
parent 3799 d00f6460ac4d
permissions -rw-r--r--
ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3799
d00f6460ac4d The Isabelle Logo;
wenzelm
parents:
diff changeset
     1
(binary:image/gif)