drwxr-xr-x  2 edrx edrx     4096 Nov  6 17:39 ./
drwxr-xr-x 17 edrx edrx     4096 Aug 10 15:40 ../
-rwxr-xr-x  2 edrx edrx  4101259 Jan  3  2009 awodey__category_theory.pdf*
-rw-r--r--  2 edrx edrx  2821503 Mar 15  2016 carnielli_pizzi__modalities_and_multimodalities.pdf
-rw-r--r--  2 edrx edrx 11549066 Mar 30  2016 copi__introduction_to_logic.pdf
-rw-r--r--  2 edrx edrx 25106952 Dec 28  2015 maclane_cwm_springer_2nd_ed.pdf