/lib/logo/
drwxr-xr-x [up]
-rw-r--r-- 2021-08-25 22:17 +0200 2381 index.html
-rw-r--r-- 2021-08-25 22:17 +0200 1012 isabelle-16.gif
-rw-r--r-- 2021-08-25 22:17 +0200 1197 isabelle-24.gif
-rw-r--r-- 2021-08-25 22:17 +0200 1467 isabelle-32.gif
-rw-r--r-- 2021-08-25 22:17 +0200 2091 isabelle-48.gif
-rw-r--r-- 2021-08-25 22:17 +0200 21198 isabelle-small.xpm
-rw-r--r-- 2021-08-25 22:17 +0200 11851 isabelle-tiny.xpm
-rw-r--r-- 2021-08-25 22:17 +0200 18160 isabelle.bmp
-rw-r--r-- 2021-08-25 22:17 +0200 9871 isabelle.gif
-rw-r--r-- 2021-08-25 22:17 +0200 49285 isabelle.icns
-rw-r--r-- 2021-08-25 22:17 +0200 205316 isabelle_any.eps
-rw-r--r-- 2021-08-25 22:17 +0200 10257 isabelle_hol.gif
-rw-r--r-- 2021-08-25 22:17 +0200 10263 isabelle_holcf.gif
-rw-r--r-- 2021-08-25 22:17 +0200 18764 isabelle_transparent-128.png
-rw-r--r-- 2021-08-25 22:17 +0200 1095 isabelle_transparent-16.gif
-rw-r--r-- 2021-08-25 22:17 +0200 1091 isabelle_transparent-24.gif
-rw-r--r-- 2021-08-25 22:17 +0200 1310 isabelle_transparent-32.gif
-rw-r--r-- 2021-08-25 22:17 +0200 1862 isabelle_transparent-48.gif
-rw-r--r-- 2021-08-25 22:17 +0200 9365 isabelle_transparent.gif
-rw-r--r-- 2021-08-25 22:17 +0200 10097 isabelle_zf.gif
-rw-r--r-- 2021-08-25 22:17 +0200 41095 theory.icns