/Admin/MacOS/
drwxr-xr-x [up]
-rw-r--r-- 2009-04-16 17:29 +0200 200 README
-rw-r--r-- 2009-04-16 17:29 +0200 49285 isabelle.icns
-rwxr-xr-x 2009-04-16 17:29 +0200 421 mk
-rwxr-xr-x 2009-04-16 17:29 +0200 1404 script
-rw-r--r-- 2009-04-16 17:29 +0200 41095 theory.icns