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