drwxr-xr-x 2 edrx edrx 4096 Feb 25 2010 ./ drwxr-xr-x 27 edrx edrx 4096 Dec 5 00:44 ../ -rw-r--r-- 1 edrx edrx 548807 Oct 24 12:40 __cats.el -rw-r--r-- 1 edrx edrx 1086252 Dec 5 00:42 __cats.el.html -rwxr-xr-x 2 edrx www-data 2809731 Feb 25 2010 lawvere__equality_in_hyperdoctrines__1970.djvu*