drwxr-xr-x 2 edrx edrx 8192 Nov 18 18:04 ./ drwxr-xr-x 92 edrx edrx 8192 Nov 19 15:01 ../ -rw-r--r-- 1 edrx edrx 47595 Apr 23 2009 2002fmcs.tex -rw-r--r-- 1 edrx edrx 62190 Nov 19 15: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 Apr 23 2009 2007dnc-sets.tex -rw-r--r-- 1 edrx edrx 52310 Nov 19 15:00 2007dnc-sets.tex.html -rw-r--r-- 2 edrx edrx 112184 Aug 30 2008 2008bcc.dvi -rw-r--r-- 2 edrx edrx 123553 Aug 30 2008 2008bcc.pdf -rw-r--r-- 1 edrx edrx 26852 Nov 16 07:19 2008bcc.tex -rw-r--r-- 1 edrx edrx 33615 Nov 19 15:00 2008bcc.tex.html -rw-r--r-- 2 edrx edrx 108900 May 22 2008 2008comprcat.dvi -rw-r--r-- 2 edrx edrx 178147 Jan 25 2009 2008comprcat.pdf -rw-r--r-- 1 edrx edrx 48939 Apr 23 2009 2008comprcat.tex -rw-r--r-- 1 edrx edrx 59013 Nov 19 15:00 2008comprcat.tex.html -rw-r--r-- 1 edrx edrx 19267 Apr 23 2009 2008dclosed.tex -rw-r--r-- 1 edrx edrx 24397 Nov 19 15:00 2008dclosed.tex.html -rw-r--r-- 2 edrx edrx 117718 Dec 9 2008 2008dnc-sets.pdf -rw-r--r-- 1 edrx edrx 39120 Apr 23 2009 2008dnc-sets.tex -rw-r--r-- 1 edrx edrx 51624 Nov 19 15:00 2008dnc-sets.tex.html -rw-r--r-- 2 edrx edrx 46517 Aug 11 2008 2008filterp-abs.pdf -rw-r--r-- 1 edrx edrx 3449 Apr 23 2009 2008filterp-abs.tex -rw-r--r-- 1 edrx edrx 4018 Nov 19 15:00 2008filterp-abs.tex.html -rw-r--r-- 2 edrx edrx 134043 Sep 17 2008 2008filterp-slides.pdf -rw-r--r-- 1 edrx edrx 25115 Apr 23 2009 2008filterp-slides.tex -rw-r--r-- 1 edrx edrx 30139 Nov 19 15:00 2008filterp-slides.tex.html -rw-r--r-- 2 edrx edrx 52655 Jul 12 2008 2008filterp-texsrc.tar.gz -rw-r--r-- 2 edrx edrx 64032 Jul 12 2008 2008filterp.dvi -rw-r--r-- 2 edrx edrx 157482 Jul 13 2008 2008filterp.pdf -rw-r--r-- 1 edrx edrx 56215 Apr 23 2009 2008filterp.tex -rw-r--r-- 1 edrx edrx 63165 Nov 19 15:00 2008filterp.tex.html -rw-r--r-- 2 edrx edrx 36258 Nov 14 2008 2008gf.pdf -rw-r--r-- 1 edrx edrx 2951 Apr 23 2009 2008gf.tex -rw-r--r-- 1 edrx edrx 4815 Nov 19 15:00 2008gf.tex.html -rw-r--r-- 2 edrx edrx 219992 Jan 1 2009 2008graphs.pdf -rw-r--r-- 1 edrx edrx 69560 Sep 29 09:14 2008graphs.tex -rw-r--r-- 1 edrx edrx 87167 Nov 19 15:00 2008graphs.tex.html -rw-r--r-- 2 edrx edrx 221076 Oct 6 2008 2008hyp.dvi -rw-r--r-- 2 edrx edrx 261133 Jan 25 2009 2008hyp.pdf -rw-r--r-- 1 edrx edrx 117550 Nov 5 07:16 2008hyp.tex -rw-r--r-- 1 edrx edrx 142993 Nov 19 15:00 2008hyp.tex.html -rw-r--r-- 2 edrx edrx 143526 Dec 9 2008 2008induction.pdf -rw-r--r-- 1 edrx edrx 35878 Apr 23 2009 2008induction.tex -rw-r--r-- 1 edrx edrx 45412 Nov 19 15:00 2008induction.tex.html -rw-r--r-- 1 edrx edrx 4755 Sep 21 17:03 2008kocknsext.tex -rw-r--r-- 1 edrx edrx 6510 Nov 19 15:00 2008kocknsext.tex.html -rw-r--r-- 1 edrx edrx 5975 Apr 23 2009 2008lcccs.tex -rw-r--r-- 1 edrx edrx 7960 Nov 19 15:00 2008lcccs.tex.html -rw-r--r-- 2 edrx edrx 105381 Jul 23 2008 2008modallogic.pdf -rw-r--r-- 1 edrx edrx 16590 Apr 23 2009 2008modallogic.tex -rw-r--r-- 1 edrx edrx 23224 Nov 19 15: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 2008 2008monads.pdf -rw-r--r-- 1 edrx edrx 41351 Apr 23 2009 2008monads.tex -rw-r--r-- 1 edrx edrx 51602 Nov 19 15: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 Apr 23 2009 2008natded.tex -rw-r--r-- 1 edrx edrx 39575 Nov 19 15: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 Apr 23 2009 2008notations.tex -rw-r--r-- 1 edrx edrx 24846 Nov 19 15: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 Apr 23 2009 2008projeto.tex -rw-r--r-- 1 edrx edrx 26471 Nov 19 15:00 2008projeto.tex.html -rw-r--r-- 1 edrx edrx 15179 Apr 23 2009 2008quotypes.tex -rw-r--r-- 1 edrx edrx 19095 Nov 19 15: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 Apr 23 2009 2008sdg.tex -rw-r--r-- 1 edrx edrx 17812 Nov 19 15:00 2008sdg.tex.html -rw-r--r-- 2 edrx edrx 3876 Aug 30 2008 2008sheaves-abs1.dvi -rw-r--r-- 2 edrx edrx 26937 Aug 30 2008 2008sheaves-abs1.pdf -rw-r--r-- 1 edrx edrx 3580 Apr 23 2009 2008sheaves-abs1.tex -rw-r--r-- 1 edrx edrx 4449 Nov 19 15: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 Apr 23 2009 2008sheaves.tex -rw-r--r-- 1 edrx edrx 85806 Nov 19 15: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 Apr 23 2009 2008topos-str.tex -rw-r--r-- 1 edrx edrx 26963 Nov 19 15:00 2008topos-str.tex.html -rw-r--r-- 1 edrx edrx 13203 Apr 23 2009 2008typesystems.tex -rw-r--r-- 1 edrx edrx 18011 Nov 19 15:00 2008typesystems.tex.html -rw-r--r-- 2 edrx edrx 62306 May 25 15:25 2009-1-C1-prova-1.pdf -rw-r--r-- 1 edrx edrx 4794 May 21 10:42 2009-1-C1-prova-1.tex -rw-r--r-- 1 edrx edrx 6325 Nov 19 15:00 2009-1-C1-prova-1.tex.html -rw-r--r-- 2 edrx edrx 66435 Jul 2 16:59 2009-1-C1-prova-2.pdf -rw-r--r-- 1 edrx edrx 7905 Jul 2 16:58 2009-1-C1-prova-2.tex -rw-r--r-- 1 edrx edrx 9934 Nov 19 15:00 2009-1-C1-prova-2.tex.html -rw-r--r-- 2 edrx edrx 74423 Jul 9 17:55 2009-1-C1-prova-VR1.pdf -rw-r--r-- 1 edrx edrx 10913 Jul 13 07:02 2009-1-C1-prova-VR1.tex -rw-r--r-- 1 edrx edrx 13097 Nov 19 15:00 2009-1-C1-prova-VR1.tex.html -rw-r--r-- 2 edrx edrx 71800 Jul 9 17:56 2009-1-C1-prova-VR2.pdf -rw-r--r-- 1 edrx edrx 12235 Jul 9 13:02 2009-1-C1-prova-VR2.tex -rw-r--r-- 1 edrx edrx 14492 Nov 19 15:00 2009-1-C1-prova-VR2.tex.html -rw-r--r-- 2 edrx edrx 63633 Jul 14 17:40 2009-1-C1-prova-VS.pdf -rw-r--r-- 1 edrx edrx 6383 Jul 14 17:42 2009-1-C1-prova-VS.tex -rw-r--r-- 1 edrx edrx 8500 Nov 19 15:00 2009-1-C1-prova-VS.tex.html -rw-r--r-- 1 edrx edrx 3544 May 20 2009 2009-1-C2-plano.tex -rw-r--r-- 1 edrx edrx 5441 Nov 19 15:00 2009-1-C2-plano.tex.html -rw-r--r-- 2 edrx edrx 68536 Jun 5 10:06 2009-1-C2-prova-1-gab.pdf -rw-r--r-- 1 edrx edrx 9196 Jun 15 15:56 2009-1-C2-prova-1-gab.tex -rw-r--r-- 1 edrx edrx 11975 Nov 19 15:00 2009-1-C2-prova-1-gab.tex.html -rw-r--r-- 1 edrx edrx 13163 Jun 2 13:38 2009-1-C2-prova-1.tex -rw-r--r-- 1 edrx edrx 16800 Nov 19 15:00 2009-1-C2-prova-1.tex.html -rw-r--r-- 2 edrx edrx 62199 Jul 7 15:58 2009-1-C2-prova-2.pdf -rw-r--r-- 1 edrx edrx 7260 Jul 10 15:32 2009-1-C2-prova-2.tex -rw-r--r-- 1 edrx edrx 9249 Nov 19 15:00 2009-1-C2-prova-2.tex.html -rw-r--r-- 2 edrx edrx 88908 Jul 10 10:46 2009-1-C2-prova-VR.pdf -rw-r--r-- 1 edrx edrx 12302 Jul 13 10:33 2009-1-C2-prova-VR.tex -rw-r--r-- 1 edrx edrx 14831 Nov 19 15:00 2009-1-C2-prova-VR.tex.html -rw-r--r-- 2 edrx edrx 32894 Jul 13 10:22 2009-1-C2-prova-VS.pdf -rw-r--r-- 1 edrx edrx 2908 Jul 13 10:21 2009-1-C2-prova-VS.tex -rw-r--r-- 1 edrx edrx 4234 Nov 19 15:00 2009-1-C2-prova-VS.tex.html -rw-r--r-- 2 edrx edrx 346416 Jun 26 06:14 2009-1-MD-prova-2.pdf -rw-r--r-- 1 edrx edrx 15562 Jun 29 09:24 2009-1-MD-prova-2.tex -rw-r--r-- 1 edrx edrx 19757 Nov 19 15:00 2009-1-MD-prova-2.tex.html -rw-r--r-- 2 edrx edrx 288568 Jul 8 04:52 2009-1-MD-prova-VR.pdf -rw-r--r-- 1 edrx edrx 12790 Jul 7 17:15 2009-1-MD-prova-VR.tex -rw-r--r-- 1 edrx edrx 15690 Nov 19 15:00 2009-1-MD-prova-VR.tex.html -rw-r--r-- 2 edrx edrx 68094 Jul 9 17:57 2009-1-MD-prova-VS.pdf -rw-r--r-- 1 edrx edrx 9594 Jul 13 11:31 2009-1-MD-prova-VS.tex -rw-r--r-- 1 edrx edrx 13106 Nov 19 15:00 2009-1-MD-prova-VS.tex.html -rw-r--r-- 2 edrx edrx 56494 Sep 28 09:25 2009-2-C2-lista-1.pdf -rw-r--r-- 1 edrx edrx 6580 Sep 28 09:24 2009-2-C2-lista-1.tex -rw-r--r-- 1 edrx edrx 9072 Nov 19 15:00 2009-2-C2-lista-1.tex.html -rw-r--r-- 1 edrx edrx 24264 Nov 19 12:46 2009-2-C2-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 29613 Nov 19 15:00 2009-2-C2-prova-1-notas.tex.html -rw-r--r-- 2 edrx edrx 53283 Sep 30 05:08 2009-2-C2-prova-1.pdf -rw-r--r-- 1 edrx edrx 7666 Nov 18 05:09 2009-2-C2-prova-1.tex -rw-r--r-- 1 edrx edrx 9628 Nov 19 15:00 2009-2-C2-prova-1.tex.html -rw-r--r-- 1 edrx edrx 9162 Nov 11 09:58 2009-2-C4-prova-1.tex -rw-r--r-- 1 edrx edrx 11170 Nov 19 15:00 2009-2-C4-prova-1.tex.html -rw-r--r-- 2 edrx edrx 101778 Nov 18 15:55 2009-2-MD-comparacao.pdf -rw-r--r-- 1 edrx edrx 17953 Nov 18 05:09 2009-2-MD-comparacao.tex -rw-r--r-- 1 edrx edrx 22474 Nov 19 15:00 2009-2-MD-comparacao.tex.html -rw-r--r-- 1 edrx edrx 7133 Nov 10 14:12 2009-2-MD-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 9124 Nov 19 15:00 2009-2-MD-prova-1-notas.tex.html -rw-r--r-- 2 edrx edrx 76838 Oct 14 06:56 2009-2-MD-prova-1.pdf -rw-r--r-- 1 edrx edrx 9480 Nov 10 10:19 2009-2-MD-prova-1.tex -rw-r--r-- 1 edrx edrx 12185 Nov 19 15:00 2009-2-MD-prova-1.tex.html -rw-r--r-- 1 edrx edrx 18957 Jul 29 13:49 2009-planodetrabalho.tex -rw-r--r-- 1 edrx edrx 24729 Nov 19 15:00 2009-planodetrabalho.tex.html -rw-r--r-- 1 edrx edrx 16966 May 3 2009 2009abcats.tex -rw-r--r-- 1 edrx edrx 21553 Nov 19 15:00 2009abcats.tex.html -rw-r--r-- 1 edrx edrx 10596 May 1 2009 2009apr29-C1.tex -rw-r--r-- 1 edrx edrx 13036 Nov 19 15:00 2009apr29-C1.tex.html -rw-r--r-- 1 edrx edrx 6584 May 1 2009 2009apr29-MD.tex -rw-r--r-- 1 edrx edrx 8630 Nov 19 15:00 2009apr29-MD.tex.html -rw-r--r-- 2 edrx edrx 34913 Aug 9 18:35 2009dnc-in-coq.pdf -rw-r--r-- 1 edrx edrx 33195 Nov 9 14:36 2009dnc-in-coq.tex -rw-r--r-- 1 edrx edrx 38525 Nov 19 15:00 2009dnc-in-coq.tex.html -rw-r--r-- 2 edrx edrx 73615 Nov 5 07:36 2009dnc-monads.pdf -rw-r--r-- 1 edrx edrx 15288 Nov 10 15:41 2009dnc-monads.tex -rw-r--r-- 1 edrx edrx 17323 Nov 19 15:00 2009dnc-monads.tex.html -rw-r--r-- 1 edrx edrx 8792 May 1 2009 2009fractions.tex -rw-r--r-- 1 edrx edrx 10862 Nov 19 15:00 2009fractions.tex.html -rw-r--r-- 1 edrx edrx 11007 May 25 16:31 2009integration.tex -rw-r--r-- 1 edrx edrx 13480 Nov 19 15:00 2009integration.tex.html -rw-r--r-- 2 edrx edrx 55293 Jul 2 16:28 2009jul02-C2-exercicios.pdf -rw-r--r-- 1 edrx edrx 6260 Jul 2 16:26 2009jul02-C2-exercicios.tex -rw-r--r-- 1 edrx edrx 8171 Nov 19 15:00 2009jul02-C2-exercicios.tex.html -rw-r--r-- 2 edrx edrx 28471 Aug 3 08:53 2009jun05.pdf -rw-r--r-- 1 edrx edrx 3519 Jul 29 14:47 2009jun05.tex -rw-r--r-- 1 edrx edrx 5016 Nov 19 15:00 2009jun05.tex.html -rw-r--r-- 1 edrx edrx 6982 May 19 2009 2009may08-C2.tex -rw-r--r-- 1 edrx edrx 8540 Nov 19 15:00 2009may08-C2.tex.html -rw-r--r-- 1 edrx edrx 6747 May 19 2009 2009may12-MD-gab.tex -rw-r--r-- 1 edrx edrx 8638 Nov 19 15:00 2009may12-MD-gab.tex.html -rw-r--r-- 1 edrx edrx 5986 May 19 2009 2009may13-MD.tex -rw-r--r-- 1 edrx edrx 7936 Nov 19 15:00 2009may13-MD.tex.html -rw-r--r-- 1 edrx edrx 3526 Apr 23 2009 2009projections.tex -rw-r--r-- 1 edrx edrx 4820 Nov 19 15:00 2009projections.tex.html -rw-r--r-- 1 edrx edrx 5719 Nov 4 09:20 2009unilog-abs0.tex -rw-r--r-- 1 edrx edrx 7026 Nov 19 15:00 2009unilog-abs0.tex.html -rw-r--r-- 2 edrx edrx 40170 Nov 16 13:38 2009unilog-abs1.pdf -rw-r--r-- 1 edrx edrx 7294 Nov 16 13:23 2009unilog-abs1.tex -rw-r--r-- 1 edrx edrx 9580 Nov 19 15:00 2009unilog-abs1.tex.html -rw-r--r-- 2 edrx edrx 320404 Nov 16 13:31 2009unilog-dnc.pdf -rw-r--r-- 1 edrx edrx 99388 Nov 16 13:30 2009unilog-dnc.tex -rw-r--r-- 1 edrx edrx 118249 Nov 19 15:00 2009unilog-dnc.tex.html -rw-r--r-- 1 edrx edrx 9504 Apr 23 2009 Makefile -rw-r--r-- 1 edrx edrx 15916 Nov 19 15:00 Makefile.html -rw-r--r-- 1 edrx edrx 2536 Apr 23 2009 beamertest.tex -rw-r--r-- 1 edrx edrx 3884 Nov 19 15:00 beamertest.tex.html -rw-r--r-- 1 edrx edrx 27217 May 21 10:33 bussproofs.sty -rw-r--r-- 1 edrx edrx 23248 Jul 29 13:38 catsem.bib -rw-r--r-- 1 edrx edrx 43502 Nov 19 15:00 catsem.bib.html -rw-r--r-- 1 edrx edrx 966 Apr 23 2009 catsembibtest.tex -rw-r--r-- 1 edrx edrx 1597 Nov 19 15:00 catsembibtest.tex.html -rw-r--r-- 1 edrx edrx 5490 Apr 23 2009 dednat.icn -rw-r--r-- 1 edrx edrx 6435 Nov 19 15:00 dednat.icn.html -rw-r--r-- 1 edrx edrx 69490 Apr 23 2009 desenhos.014 -rw-r--r-- 1 edrx edrx 104290 Nov 19 15:00 desenhos.014.html -rw-r--r-- 1 edrx edrx 18095 Apr 23 2009 diaglib.014 -rw-r--r-- 1 edrx edrx 23027 Nov 19 15:00 diaglib.014.html -rw-r--r-- 1 edrx edrx 3272 Apr 23 2009 dynkin.tcl -rw-r--r-- 1 edrx edrx 3872 Nov 19 15:00 dynkin.tcl.html -rw-r--r-- 1 edrx edrx 17719 Apr 23 2009 edrx.sty -rw-r--r-- 1 edrx edrx 23113 Nov 19 15:00 edrx.sty.html -rw-r--r-- 1 edrx edrx 10083 Jun 17 09:29 filters.bib -rw-r--r-- 1 edrx edrx 17821 Nov 19 15:00 filters.bib.html -rw-r--r-- 1 edrx edrx 86 Apr 23 2009 gray50.bmp -rw-r--r-- 1 edrx edrx 86 Apr 23 2009 gray50xx.bmp -rw-r--r-- 1 edrx edrx 17092 Apr 23 2009 mar99a.dn -rw-r--r-- 1 edrx edrx 16265 Apr 23 2009 mar99a.dnt -rw-r--r-- 1 edrx edrx 13836 Apr 23 2009 mar99b.dn -rw-r--r-- 1 edrx edrx 11958 Apr 23 2009 mar99b.dnt -rw-r--r-- 1 edrx edrx 8106 Aug 25 17:21 passo-a-passo-concurso.tex -rw-r--r-- 1 edrx edrx 10347 Nov 19 15:00 passo-a-passo-concurso.tex.html -rw-r--r-- 1 edrx edrx 2199 Apr 23 2009 phil.bib -rw-r--r-- 1 edrx edrx 3142 Nov 19 15:00 phil.bib.html -rw-r--r-- 2 edrx edrx 115662 Jan 12 2004 poep.pdf -rw-r--r-- 1 edrx edrx 45827 Apr 23 2009 poep.tex -rw-r--r-- 1 edrx edrx 46818 Nov 19 15:00 poep.tex.html -rw-r--r-- 1 edrx edrx 10467 Apr 23 2009 proof.edrx.sty -rw-r--r-- 2 edrx edrx 45650 Jan 12 2004 reinhab.pdf -rw-r--r-- 1 edrx edrx 16165 Apr 23 2009 reinhab.tex -rw-r--r-- 1 edrx edrx 17065 Nov 19 15:00 reinhab.tex.html -rw-r--r-- 1 edrx edrx 14977 Apr 23 2009 tese2.sty -rw-r--r-- 1 edrx edrx 17155 Nov 19 15:00 tese2.sty.html -rw-r--r-- 1 edrx edrx 2598 Apr 23 2009 testdynkin.tex -rw-r--r-- 1 edrx edrx 3167 Nov 19 15:00 testdynkin.tex.html -rw-r--r-- 1 edrx edrx 3475 Apr 23 2009 vgatim.sty -rw-r--r-- 2 edrx edrx 41006 Jan 12 2004 yogphi.pdf -rw-r--r-- 1 edrx edrx 9299 Apr 23 2009 yogphi.tex -rw-r--r-- 1 edrx edrx 10181 Nov 19 15:00 yogphi.tex.html -rw-r--r-- 1 edrx edrx 1272 Apr 23 2009 zinc.icn -rw-r--r-- 1 edrx edrx 4258 Apr 23 2009 zlib.icn