/Admin/MacOS/
drwxr-xr-x [up]
-rw-r--r-- 2008-12-23 12:53 +0100 189 README
-rw-r--r-- 2008-12-23 12:53 +0100 49285 isabelle.icns
-rwxr-xr-x 2008-12-23 12:53 +0100 435 mk
-rwxr-xr-x 2008-12-23 12:53 +0100 1365 script
-rw-r--r-- 2008-12-23 12:53 +0100 41095 theory.icns