/lib/logo/
drwxr-xr-x [up]
-rw-r--r-- 2014-03-10 16:30 +0100 2381 index.html
-rw-r--r-- 2014-03-10 16:30 +0100 1012 isabelle-16.gif
-rw-r--r-- 2014-03-10 16:30 +0100 1197 isabelle-24.gif
-rw-r--r-- 2014-03-10 16:30 +0100 1467 isabelle-32.gif
-rw-r--r-- 2014-03-10 16:30 +0100 2091 isabelle-48.gif
-rw-r--r-- 2014-03-10 16:30 +0100 21198 isabelle-small.xpm
-rw-r--r-- 2014-03-10 16:30 +0100 11851 isabelle-tiny.xpm
-rw-r--r-- 2014-03-10 16:30 +0100 18160 isabelle.bmp
-rw-r--r-- 2014-03-10 16:30 +0100 9871 isabelle.gif
-rw-r--r-- 2014-03-10 16:30 +0100 205316 isabelle_any.eps
-rw-r--r-- 2014-03-10 16:30 +0100 10257 isabelle_hol.gif
-rw-r--r-- 2014-03-10 16:30 +0100 10263 isabelle_holcf.gif
-rw-r--r-- 2014-03-10 16:30 +0100 1095 isabelle_transparent-16.gif
-rw-r--r-- 2014-03-10 16:30 +0100 1091 isabelle_transparent-24.gif
-rw-r--r-- 2014-03-10 16:30 +0100 1310 isabelle_transparent-32.gif
-rw-r--r-- 2014-03-10 16:30 +0100 1862 isabelle_transparent-48.gif
-rw-r--r-- 2014-03-10 16:30 +0100 9365 isabelle_transparent.gif
-rw-r--r-- 2014-03-10 16:30 +0100 10097 isabelle_zf.gif