drwxr-xr-x 2 edrx edrx 4096 Dec 23 01:13 ./ drwxr-xr-x 90 edrx edrx 8192 Jan 5 07:00 ../ -rw-r--r-- 1 edrx edrx 47595 May 24 2008 2002fmcs.tex -rw-r--r-- 1 edrx edrx 62190 Jan 5 07:00 2002fmcs.tex.html -rw-r--r-- 2 edrx edrx 37588 May 22 2008 2007dnc-sets.dvi -rw-r--r-- 2 edrx edrx 103502 Jun 24 2008 2007dnc-sets.pdf -rw-r--r-- 1 edrx edrx 39488 Dec 9 07:15 2007dnc-sets.tex -rw-r--r-- 1 edrx edrx 52310 Jan 5 07:00 2007dnc-sets.tex.html -rw-r--r-- 2 edrx edrx 112184 Aug 30 00:26 2008bcc.dvi -rw-r--r-- 2 edrx edrx 123553 Aug 30 00:26 2008bcc.pdf -rw-r--r-- 1 edrx edrx 26569 Oct 6 19:42 2008bcc.tex -rw-r--r-- 1 edrx edrx 33103 Jan 5 07:00 2008bcc.tex.html -rw-r--r-- 2 edrx edrx 108900 May 22 2008 2008comprcat.dvi -rw-r--r-- 2 edrx edrx 180253 May 22 2008 2008comprcat.pdf -rw-r--r-- 1 edrx edrx 48743 Jul 10 09:36 2008comprcat.tex -rw-r--r-- 1 edrx edrx 58817 Jan 5 07:00 2008comprcat.tex.html -rw-r--r-- 1 edrx edrx 19267 Nov 15 07:19 2008dclosed.tex -rw-r--r-- 1 edrx edrx 24397 Jan 5 07:00 2008dclosed.tex.html -rw-r--r-- 2 edrx edrx 117718 Dec 9 07:15 2008dnc-sets.pdf -rw-r--r-- 1 edrx edrx 39120 Dec 9 07:15 2008dnc-sets.tex -rw-r--r-- 1 edrx edrx 51624 Jan 5 07:00 2008dnc-sets.tex.html -rw-r--r-- 2 edrx edrx 46517 Aug 11 22:14 2008filterp-abs.pdf -rw-r--r-- 1 edrx edrx 3449 Aug 11 21:48 2008filterp-abs.tex -rw-r--r-- 1 edrx edrx 4018 Jan 5 07:00 2008filterp-abs.tex.html -rw-r--r-- 2 edrx edrx 134043 Sep 17 06:55 2008filterp-slides.pdf -rw-r--r-- 1 edrx edrx 25115 Sep 17 06:55 2008filterp-slides.tex -rw-r--r-- 1 edrx edrx 30139 Jan 5 07:00 2008filterp-slides.tex.html -rw-r--r-- 2 edrx edrx 52655 Jul 12 22:30 2008filterp-texsrc.tar.gz -rw-r--r-- 2 edrx edrx 64032 Jul 12 23:48 2008filterp.dvi -rw-r--r-- 2 edrx edrx 157482 Jul 13 20:53 2008filterp.pdf -rw-r--r-- 1 edrx edrx 56215 Jul 13 01:16 2008filterp.tex -rw-r--r-- 1 edrx edrx 63165 Jan 5 07:00 2008filterp.tex.html -rw-r--r-- 2 edrx edrx 36258 Nov 14 15:42 2008gf.pdf -rw-r--r-- 1 edrx edrx 2951 Nov 14 15:41 2008gf.tex -rw-r--r-- 1 edrx edrx 4815 Jan 5 07:00 2008gf.tex.html -rw-r--r-- 2 edrx edrx 219992 Jan 1 19:23 2008graphs.pdf -rw-r--r-- 1 edrx edrx 69561 Jan 1 19:27 2008graphs.tex -rw-r--r-- 1 edrx edrx 87168 Jan 5 07:00 2008graphs.tex.html -rw-r--r-- 2 edrx edrx 221076 Oct 6 22:58 2008hyp.dvi -rw-r--r-- 2 edrx edrx 235694 Dec 9 07:13 2008hyp.pdf -rw-r--r-- 1 edrx edrx 110612 Dec 9 07:12 2008hyp.tex -rw-r--r-- 1 edrx edrx 134266 Jan 5 07:00 2008hyp.tex.html -rw-r--r-- 2 edrx edrx 143526 Dec 9 07:09 2008induction.pdf -rw-r--r-- 1 edrx edrx 35878 Dec 22 23:57 2008induction.tex -rw-r--r-- 1 edrx edrx 45412 Jan 5 07:00 2008induction.tex.html -rw-r--r-- 1 edrx edrx 4673 Jun 7 2008 2008kocknsext.tex -rw-r--r-- 1 edrx edrx 6420 Jan 5 07:00 2008kocknsext.tex.html -rw-r--r-- 1 edrx edrx 5975 Dec 5 12:30 2008lcccs.tex -rw-r--r-- 1 edrx edrx 7960 Jan 5 07:00 2008lcccs.tex.html -rw-r--r-- 2 edrx edrx 105381 Jul 23 21:36 2008modallogic.pdf -rw-r--r-- 1 edrx edrx 16590 Jul 23 21:35 2008modallogic.tex -rw-r--r-- 1 edrx edrx 23224 Jan 5 07:00 2008modallogic.tex.html -rw-r--r-- 2 edrx edrx 36368 May 22 2008 2008monads.dvi -rw-r--r-- 2 edrx edrx 111410 Aug 4 21:12 2008monads.pdf -rw-r--r-- 1 edrx edrx 41351 Sep 13 21:21 2008monads.tex -rw-r--r-- 1 edrx edrx 51602 Jan 5 07:00 2008monads.tex.html -rw-r--r-- 2 edrx edrx 66352 May 22 2008 2008natded.dvi -rw-r--r-- 2 edrx edrx 118373 May 22 2008 2008natded.pdf -rw-r--r-- 1 edrx edrx 32732 May 22 2008 2008natded.tex -rw-r--r-- 1 edrx edrx 39575 Jan 5 07:00 2008natded.tex.html -rw-r--r-- 2 edrx edrx 24876 May 22 2008 2008notations.dvi -rw-r--r-- 2 edrx edrx 98944 May 22 2008 2008notations.pdf -rw-r--r-- 1 edrx edrx 19200 Jun 24 2008 2008notations.tex -rw-r--r-- 1 edrx edrx 24846 Jan 5 07:00 2008notations.tex.html -rw-r--r-- 2 edrx edrx 32608 May 22 2008 2008projeto.dvi -rw-r--r-- 2 edrx edrx 117169 May 22 2008 2008projeto.pdf -rw-r--r-- 1 edrx edrx 20908 Sep 29 21:52 2008projeto.tex -rw-r--r-- 1 edrx edrx 26471 Jan 5 07:00 2008projeto.tex.html -rw-r--r-- 1 edrx edrx 11207 Jan 5 06:54 2008quotypes.tex -rw-r--r-- 1 edrx edrx 14146 Jan 5 07:00 2008quotypes.tex.html -rw-r--r-- 2 edrx edrx 23756 May 22 2008 2008sdg.dvi -rw-r--r-- 2 edrx edrx 87864 Apr 9 2008 2008sdg.pdf -rw-r--r-- 1 edrx edrx 14144 Jul 5 2008 2008sdg.tex -rw-r--r-- 1 edrx edrx 17812 Jan 5 07:00 2008sdg.tex.html -rw-r--r-- 2 edrx edrx 3876 Aug 30 02:04 2008sheaves-abs1.dvi -rw-r--r-- 2 edrx edrx 26937 Aug 30 02:04 2008sheaves-abs1.pdf -rw-r--r-- 1 edrx edrx 3580 Aug 29 23:55 2008sheaves-abs1.tex -rw-r--r-- 1 edrx edrx 4449 Jan 5 07:00 2008sheaves-abs1.tex.html -rw-r--r-- 2 edrx edrx 99524 May 22 2008 2008sheaves.dvi -rw-r--r-- 2 edrx edrx 199110 May 22 2008 2008sheaves.pdf -rw-r--r-- 1 edrx edrx 70333 Dec 8 04:44 2008sheaves.tex -rw-r--r-- 1 edrx edrx 85806 Jan 5 07:00 2008sheaves.tex.html -rw-r--r-- 2 edrx edrx 50732 May 22 2008 2008topos-str.dvi -rw-r--r-- 2 edrx edrx 89404 May 22 2008 2008topos-str.pdf -rw-r--r-- 1 edrx edrx 21984 May 22 2008 2008topos-str.tex -rw-r--r-- 1 edrx edrx 26963 Jan 5 07:00 2008topos-str.tex.html -rw-r--r-- 1 edrx edrx 13203 Jun 10 2008 2008typesystems.tex -rw-r--r-- 1 edrx edrx 18011 Jan 5 07:00 2008typesystems.tex.html -rw-r--r-- 1 edrx edrx 9504 Sep 5 2007 Makefile -rw-r--r-- 1 edrx edrx 15916 Jan 5 07:00 Makefile.html -rw-r--r-- 1 edrx edrx 2536 Aug 17 22:49 beamertest.tex -rw-r--r-- 1 edrx edrx 3884 Jan 5 07:00 beamertest.tex.html -rw-r--r-- 1 edrx edrx 26267 Dec 2 2004 bussproofs.sty -rw-r--r-- 1 edrx edrx 14947 Jul 29 11:39 catsem.bib -rw-r--r-- 1 edrx edrx 25263 Jan 5 07:00 catsem.bib.html -rw-r--r-- 1 edrx edrx 966 Dec 2 2004 catsembibtest.tex -rw-r--r-- 1 edrx edrx 1597 Jan 5 07:00 catsembibtest.tex.html -rw-r--r-- 1 edrx edrx 5490 Sep 8 2005 dednat.icn -rw-r--r-- 1 edrx edrx 6435 Jan 5 07:00 dednat.icn.html -rw-r--r-- 1 edrx edrx 69490 Mar 8 2005 desenhos.014 -rw-r--r-- 1 edrx edrx 104290 Jan 5 07:00 desenhos.014.html -rw-r--r-- 1 edrx edrx 18095 Jul 4 2007 diaglib.014 -rw-r--r-- 1 edrx edrx 23027 Jan 5 07:00 diaglib.014.html -rw-r--r-- 1 edrx edrx 3272 Dec 2 2004 dynkin.tcl -rw-r--r-- 1 edrx edrx 3872 Jan 5 07:00 dynkin.tcl.html -rw-r--r-- 1 edrx edrx 17719 Dec 2 2004 edrx.sty -rw-r--r-- 1 edrx edrx 23113 Jan 5 07:00 edrx.sty.html -rw-r--r-- 1 edrx edrx 9932 Aug 26 22:12 filters.bib -rw-r--r-- 1 edrx edrx 17475 Jan 5 07:00 filters.bib.html -rw-r--r-- 1 edrx edrx 86 Dec 2 2004 gray50.bmp -rw-r--r-- 1 edrx edrx 86 Dec 2 2004 gray50xx.bmp -rw-r--r-- 1 edrx edrx 17092 Dec 2 2004 mar99a.dn -rw-r--r-- 1 edrx edrx 16265 Dec 2 2004 mar99a.dnt -rw-r--r-- 1 edrx edrx 13836 Dec 2 2004 mar99b.dn -rw-r--r-- 1 edrx edrx 11958 Dec 2 2004 mar99b.dnt -rw-r--r-- 1 edrx edrx 2199 Nov 24 20:56 phil.bib -rw-r--r-- 1 edrx edrx 3142 Jan 5 07:00 phil.bib.html -rw-r--r-- 2 edrx edrx 115662 Jan 12 2004 poep.pdf -rw-r--r-- 1 edrx edrx 45827 Dec 2 2004 poep.tex -rw-r--r-- 1 edrx edrx 46818 Jan 5 07:00 poep.tex.html -rw-r--r-- 1 edrx edrx 10467 Dec 2 2004 proof.edrx.sty -rw-r--r-- 2 edrx edrx 45650 Jan 12 2004 reinhab.pdf -rw-r--r-- 1 edrx edrx 16165 Dec 2 2004 reinhab.tex -rw-r--r-- 1 edrx edrx 17065 Jan 5 07:00 reinhab.tex.html -rw-r--r-- 1 edrx edrx 14977 Dec 2 2004 tese2.sty -rw-r--r-- 1 edrx edrx 17155 Jan 5 07:00 tese2.sty.html -rw-r--r-- 1 edrx edrx 2598 Dec 2 2004 testdynkin.tex -rw-r--r-- 1 edrx edrx 3167 Jan 5 07:00 testdynkin.tex.html -rw-r--r-- 1 edrx edrx 3475 Dec 2 2004 vgatim.sty -rw-r--r-- 2 edrx edrx 41006 Jan 12 2004 yogphi.pdf -rw-r--r-- 1 edrx edrx 9299 Dec 2 2004 yogphi.tex -rw-r--r-- 1 edrx edrx 10181 Jan 5 07:00 yogphi.tex.html -rw-r--r-- 1 edrx edrx 1272 Dec 2 2004 zinc.icn -rw-r--r-- 1 edrx edrx 4258 Dec 2 2004 zlib.icn