/Admin/MacOS/
drwxr-xr-x [up]
-rw-r--r-- 2009-03-04 17:12 -0800 346 README
-rw-r--r-- 2009-03-04 17:12 -0800 49285 isabelle.icns
-rwxr-xr-x 2009-03-04 17:12 -0800 435 mk
-rwxr-xr-x 2009-03-04 17:12 -0800 1422 script
-rw-r--r-- 2009-03-04 17:12 -0800 41095 theory.icns