lib/logo/isabelle.bmp
author wenzelm
Sat, 31 Dec 2022 14:58:34 +0100
changeset 76850 7082c5df5df6
parent 53473 28ba604926f1
permissions -rw-r--r--
tuned signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
53473
28ba604926f1 more official lib/logo/isabelle.bmp;
wenzelm
parents: 53471
diff changeset
     1
(binary:image/x-ms-bmp)