drwxr-xr-x  2 edrx edrx    4096 Feb 25  2010 ./
drwxr-xr-x 27 edrx edrx    4096 Apr  9 22:22 ../
-rw-r--r--  1 edrx edrx  560078 Apr  2 14:04 __cats.el
-rw-r--r--  1 edrx edrx 1151090 Apr  9 22:21 __cats.el.html
-rwxr-xr-x  2 edrx edrx 2809731 Feb 25  2010 lawvere__equality_in_hyperdoctrines__1970.djvu*