drwxr-xr-x 2 edrx edrx 8192 Feb 26 13:06 ./ drwxr-xr-x 92 edrx edrx 8192 Mar 13 01:10 ../ -rw-r--r-- 1 edrx edrx 47595 May 24 2008 2002fmcs.tex -rw-r--r-- 1 edrx edrx 62190 Mar 13 01:09 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 2008 2007dnc-sets.tex -rw-r--r-- 1 edrx edrx 52310 Mar 13 01:09 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 21 14:08 2008bcc.tex -rw-r--r-- 1 edrx edrx 33615 Mar 13 01:09 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 Jan 25 2009 2008comprcat.tex -rw-r--r-- 1 edrx edrx 59013 Mar 13 01:09 2008comprcat.tex.html -rw-r--r-- 1 edrx edrx 19267 Nov 15 2008 2008dclosed.tex -rw-r--r-- 1 edrx edrx 24397 Mar 13 01:09 2008dclosed.tex.html -rw-r--r-- 2 edrx edrx 117718 Dec 9 2008 2008dnc-sets.pdf -rw-r--r-- 1 edrx edrx 39120 Dec 9 2008 2008dnc-sets.tex -rw-r--r-- 1 edrx edrx 51624 Mar 13 01:09 2008dnc-sets.tex.html -rw-r--r-- 2 edrx edrx 46517 Aug 11 2008 2008filterp-abs.pdf -rw-r--r-- 1 edrx edrx 3449 Aug 11 2008 2008filterp-abs.tex -rw-r--r-- 1 edrx edrx 4018 Mar 13 01:09 2008filterp-abs.tex.html -rw-r--r-- 2 edrx edrx 134043 Sep 17 2008 2008filterp-slides.pdf -rw-r--r-- 1 edrx edrx 25115 Sep 17 2008 2008filterp-slides.tex -rw-r--r-- 1 edrx edrx 30139 Mar 13 01:09 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 Jul 13 2008 2008filterp.tex -rw-r--r-- 1 edrx edrx 63165 Mar 13 01:09 2008filterp.tex.html -rw-r--r-- 2 edrx edrx 36258 Nov 14 2008 2008gf.pdf -rw-r--r-- 1 edrx edrx 2951 Nov 14 2008 2008gf.tex -rw-r--r-- 1 edrx edrx 4815 Mar 13 01:09 2008gf.tex.html -rw-r--r-- 2 edrx edrx 219992 Jan 1 2009 2008graphs.pdf -rw-r--r-- 1 edrx edrx 69560 Oct 2 22:33 2008graphs.tex -rw-r--r-- 1 edrx edrx 87167 Mar 13 01:09 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 6 14:11 2008hyp.tex -rw-r--r-- 1 edrx edrx 142993 Mar 13 01:09 2008hyp.tex.html -rw-r--r-- 2 edrx edrx 143526 Dec 9 2008 2008induction.pdf -rw-r--r-- 1 edrx edrx 35878 Dec 22 2008 2008induction.tex -rw-r--r-- 1 edrx edrx 45412 Mar 13 01:09 2008induction.tex.html -rw-r--r-- 1 edrx edrx 4755 Sep 25 16:40 2008kocknsext.tex -rw-r--r-- 1 edrx edrx 6510 Mar 13 01:09 2008kocknsext.tex.html -rw-r--r-- 1 edrx edrx 5975 Dec 5 2008 2008lcccs.tex -rw-r--r-- 1 edrx edrx 7960 Mar 13 01:09 2008lcccs.tex.html -rw-r--r-- 2 edrx edrx 105381 Jul 23 2008 2008modallogic.pdf -rw-r--r-- 1 edrx edrx 16590 Jul 23 2008 2008modallogic.tex -rw-r--r-- 1 edrx edrx 23224 Mar 13 01:09 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 Sep 13 2008 2008monads.tex -rw-r--r-- 1 edrx edrx 51602 Mar 13 01:09 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 Mar 13 01:09 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 Mar 13 01:09 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 2008 2008projeto.tex -rw-r--r-- 1 edrx edrx 26471 Mar 13 01:09 2008projeto.tex.html -rw-r--r-- 1 edrx edrx 15179 Jan 21 2009 2008quotypes.tex -rw-r--r-- 1 edrx edrx 19095 Mar 13 01:09 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 Mar 13 01:09 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 Aug 29 2008 2008sheaves-abs1.tex -rw-r--r-- 1 edrx edrx 4449 Mar 13 01:09 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 Feb 12 2009 2008sheaves.tex -rw-r--r-- 1 edrx edrx 85806 Mar 13 01:09 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 Mar 13 01:09 2008topos-str.tex.html -rw-r--r-- 1 edrx edrx 13203 Jun 10 2008 2008typesystems.tex -rw-r--r-- 1 edrx edrx 18011 Mar 13 01:09 2008typesystems.tex.html -rw-r--r-- 2 edrx edrx 62306 May 25 2009 2009-1-C1-prova-1.pdf -rw-r--r-- 1 edrx edrx 4794 May 31 2009 2009-1-C1-prova-1.tex -rw-r--r-- 1 edrx edrx 6325 Mar 13 01:09 2009-1-C1-prova-1.tex.html -rw-r--r-- 2 edrx edrx 66435 Jul 2 2009 2009-1-C1-prova-2.pdf -rw-r--r-- 1 edrx edrx 7905 Jul 6 2009 2009-1-C1-prova-2.tex -rw-r--r-- 1 edrx edrx 9934 Mar 13 01:09 2009-1-C1-prova-2.tex.html -rw-r--r-- 2 edrx edrx 74423 Jul 9 2009 2009-1-C1-prova-VR1.pdf -rw-r--r-- 1 edrx edrx 10913 Jul 12 2009 2009-1-C1-prova-VR1.tex -rw-r--r-- 1 edrx edrx 13097 Mar 13 01:09 2009-1-C1-prova-VR1.tex.html -rw-r--r-- 2 edrx edrx 71800 Jul 9 2009 2009-1-C1-prova-VR2.pdf -rw-r--r-- 1 edrx edrx 12235 Jul 11 2009 2009-1-C1-prova-VR2.tex -rw-r--r-- 1 edrx edrx 14492 Mar 13 01:09 2009-1-C1-prova-VR2.tex.html -rw-r--r-- 2 edrx edrx 63633 Jul 14 2009 2009-1-C1-prova-VS.pdf -rw-r--r-- 1 edrx edrx 6383 Jul 23 2009 2009-1-C1-prova-VS.tex -rw-r--r-- 1 edrx edrx 8500 Mar 13 01:09 2009-1-C1-prova-VS.tex.html -rw-r--r-- 1 edrx edrx 3544 May 31 2009 2009-1-C2-plano.tex -rw-r--r-- 1 edrx edrx 5441 Mar 13 01:09 2009-1-C2-plano.tex.html -rw-r--r-- 2 edrx edrx 68536 Jun 5 2009 2009-1-C2-prova-1-gab.pdf -rw-r--r-- 1 edrx edrx 9196 Jun 14 2009 2009-1-C2-prova-1-gab.tex -rw-r--r-- 1 edrx edrx 11975 Mar 13 01:09 2009-1-C2-prova-1-gab.tex.html -rw-r--r-- 1 edrx edrx 13163 Jun 14 2009 2009-1-C2-prova-1.tex -rw-r--r-- 1 edrx edrx 16800 Mar 13 01:09 2009-1-C2-prova-1.tex.html -rw-r--r-- 2 edrx edrx 62199 Jul 7 2009 2009-1-C2-prova-2.pdf -rw-r--r-- 1 edrx edrx 7260 Jul 11 2009 2009-1-C2-prova-2.tex -rw-r--r-- 1 edrx edrx 9249 Mar 13 01:09 2009-1-C2-prova-2.tex.html -rw-r--r-- 2 edrx edrx 88908 Jul 10 2009 2009-1-C2-prova-VR.pdf -rw-r--r-- 1 edrx edrx 12302 Jul 23 2009 2009-1-C2-prova-VR.tex -rw-r--r-- 1 edrx edrx 14831 Mar 13 01:09 2009-1-C2-prova-VR.tex.html -rw-r--r-- 2 edrx edrx 32894 Jul 13 2009 2009-1-C2-prova-VS.pdf -rw-r--r-- 1 edrx edrx 2908 Jul 23 2009 2009-1-C2-prova-VS.tex -rw-r--r-- 1 edrx edrx 4234 Mar 13 01:09 2009-1-C2-prova-VS.tex.html -rw-r--r-- 2 edrx edrx 346416 Jun 26 2009 2009-1-MD-prova-2.pdf -rw-r--r-- 1 edrx edrx 15562 Jun 29 2009 2009-1-MD-prova-2.tex -rw-r--r-- 1 edrx edrx 19757 Mar 13 01:09 2009-1-MD-prova-2.tex.html -rw-r--r-- 2 edrx edrx 288568 Jul 8 2009 2009-1-MD-prova-VR.pdf -rw-r--r-- 1 edrx edrx 12790 Jul 11 2009 2009-1-MD-prova-VR.tex -rw-r--r-- 1 edrx edrx 15690 Mar 13 01:09 2009-1-MD-prova-VR.tex.html -rw-r--r-- 2 edrx edrx 68094 Jul 9 2009 2009-1-MD-prova-VS.pdf -rw-r--r-- 1 edrx edrx 9594 Jul 23 2009 2009-1-MD-prova-VS.tex -rw-r--r-- 1 edrx edrx 13106 Mar 13 01:09 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 Oct 2 22:33 2009-2-C2-lista-1.tex -rw-r--r-- 1 edrx edrx 9072 Mar 13 01:09 2009-2-C2-lista-1.tex.html -rw-r--r-- 1 edrx edrx 28882 Dec 23 21:59 2009-2-C2-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 34677 Mar 13 01:09 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 7752 Mar 13 01:06 2009-2-C2-prova-1.tex -rw-r--r-- 1 edrx edrx 9822 Mar 13 01:09 2009-2-C2-prova-1.tex.html -rw-r--r-- 1 edrx edrx 8891 Dec 11 05:31 2009-2-C2-prova-2.tex -rw-r--r-- 1 edrx edrx 11115 Mar 13 01:09 2009-2-C2-prova-2.tex.html -rwxr-xr-x 2 edrx edrx 54762 Nov 30 17:30 2009-2-C4-lista-P2-scan.pdf* -rw-r--r-- 1 edrx edrx 1909 Dec 3 14:05 2009-2-C4-lista-P2.tex -rw-r--r-- 1 edrx edrx 3207 Mar 13 01:09 2009-2-C4-lista-P2.tex.html -rw-r--r-- 1 edrx edrx 8537 Dec 23 22:00 2009-2-C4-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 11081 Mar 13 01:09 2009-2-C4-prova-1-notas.tex.html -rw-r--r-- 1 edrx edrx 9265 Nov 27 18:30 2009-2-C4-prova-1.tex -rw-r--r-- 1 edrx edrx 11424 Mar 13 01:09 2009-2-C4-prova-1.tex.html -rw-r--r-- 1 edrx edrx 6378 Dec 11 05:32 2009-2-C4-prova-2.tex -rw-r--r-- 1 edrx edrx 8137 Mar 13 01:09 2009-2-C4-prova-2.tex.html -rw-r--r-- 1 edrx edrx 2531 Nov 27 12:42 2009-2-C4-theorems.tex -rw-r--r-- 1 edrx edrx 3931 Mar 13 01:09 2009-2-C4-theorems.tex.html -rw-r--r-- 2 edrx edrx 101778 Nov 18 15:55 2009-2-MD-comparacao.pdf -rw-r--r-- 1 edrx edrx 21983 Nov 27 12:42 2009-2-MD-comparacao.tex -rw-r--r-- 1 edrx edrx 27328 Mar 13 01:09 2009-2-MD-comparacao.tex.html -rw-r--r-- 2 edrx edrx 63715 Jan 10 18:22 2009-2-MD-criterios.pdf -rw-r--r-- 1 edrx edrx 8783 Jan 10 18:21 2009-2-MD-criterios.tex -rw-r--r-- 1 edrx edrx 11724 Mar 13 01:09 2009-2-MD-criterios.tex.html -rw-r--r-- 1 edrx edrx 18670 Dec 23 22:00 2009-2-MD-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 22689 Mar 13 01:09 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 9524 Nov 27 18:31 2009-2-MD-prova-1.tex -rw-r--r-- 1 edrx edrx 12337 Mar 13 01:09 2009-2-MD-prova-1.tex.html -rw-r--r-- 1 edrx edrx 8242 Dec 23 22:00 2009-2-MD-prova-2.tex -rw-r--r-- 1 edrx edrx 10842 Mar 13 01:09 2009-2-MD-prova-2.tex.html -rw-r--r-- 1 edrx edrx 14077 Feb 23 20:06 2009-defesa.tex -rw-r--r-- 1 edrx edrx 17955 Mar 13 01:09 2009-defesa.tex.html -rw-r--r-- 1 edrx edrx 14379 Dec 23 22:00 2009-micropol.tex -rw-r--r-- 1 edrx edrx 17720 Mar 13 01:09 2009-micropol.tex.html -rw-r--r-- 1 edrx edrx 3053 Nov 27 12:42 2009-nd-in-hyps.tex -rw-r--r-- 1 edrx edrx 4809 Mar 13 01:09 2009-nd-in-hyps.tex.html -rw-r--r-- 1 edrx edrx 18957 Jul 29 2009 2009-planodetrabalho.tex -rw-r--r-- 1 edrx edrx 24729 Mar 13 01:09 2009-planodetrabalho.tex.html -rw-r--r-- 1 edrx edrx 10835 Dec 6 14:09 2009-proj-monitoria-MD.tex -rw-r--r-- 1 edrx edrx 13544 Mar 13 01:09 2009-proj-monitoria-MD.tex.html -rw-r--r-- 1 edrx edrx 16966 May 2 2009 2009abcats.tex -rw-r--r-- 1 edrx edrx 21553 Mar 13 01:09 2009abcats.tex.html -rw-r--r-- 1 edrx edrx 10596 May 1 2009 2009apr29-C1.tex -rw-r--r-- 1 edrx edrx 13036 Mar 13 01:09 2009apr29-C1.tex.html -rw-r--r-- 1 edrx edrx 6584 May 1 2009 2009apr29-MD.tex -rw-r--r-- 1 edrx edrx 8630 Mar 13 01:09 2009apr29-MD.tex.html -rw-r--r-- 2 edrx edrx 34913 Aug 9 2009 2009dnc-in-coq.pdf -rw-r--r-- 1 edrx edrx 33195 Nov 11 21:22 2009dnc-in-coq.tex -rw-r--r-- 1 edrx edrx 38525 Mar 13 01:09 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 11 21:23 2009dnc-monads.tex -rw-r--r-- 1 edrx edrx 17323 Mar 13 01:09 2009dnc-monads.tex.html -rw-r--r-- 1 edrx edrx 8792 May 1 2009 2009fractions.tex -rw-r--r-- 1 edrx edrx 10862 Mar 13 01:09 2009fractions.tex.html -rw-r--r-- 1 edrx edrx 11007 May 31 2009 2009integration.tex -rw-r--r-- 1 edrx edrx 13480 Mar 13 01:09 2009integration.tex.html -rw-r--r-- 2 edrx edrx 55293 Jul 2 2009 2009jul02-C2-exercicios.pdf -rw-r--r-- 1 edrx edrx 6260 Jul 6 2009 2009jul02-C2-exercicios.tex -rw-r--r-- 1 edrx edrx 8171 Mar 13 01:09 2009jul02-C2-exercicios.tex.html -rw-r--r-- 2 edrx edrx 28471 Aug 3 2009 2009jun05.pdf -rw-r--r-- 1 edrx edrx 3519 Jul 29 2009 2009jun05.tex -rw-r--r-- 1 edrx edrx 5016 Mar 13 01:09 2009jun05.tex.html -rw-r--r-- 1 edrx edrx 6982 May 18 2009 2009may08-C2.tex -rw-r--r-- 1 edrx edrx 8540 Mar 13 01:09 2009may08-C2.tex.html -rw-r--r-- 1 edrx edrx 6747 May 17 2009 2009may12-MD-gab.tex -rw-r--r-- 1 edrx edrx 8638 Mar 13 01:09 2009may12-MD-gab.tex.html -rw-r--r-- 1 edrx edrx 5986 May 17 2009 2009may13-MD.tex -rw-r--r-- 1 edrx edrx 7936 Mar 13 01:09 2009may13-MD.tex.html -rw-r--r-- 1 edrx edrx 3526 Feb 25 2009 2009projections.tex -rw-r--r-- 1 edrx edrx 4820 Mar 13 01:09 2009projections.tex.html -rw-r--r-- 1 edrx edrx 5719 Nov 6 14:12 2009unilog-abs0.tex -rw-r--r-- 1 edrx edrx 7026 Mar 13 01:09 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 21 14:10 2009unilog-abs1.tex -rw-r--r-- 1 edrx edrx 9580 Mar 13 01:09 2009unilog-abs1.tex.html -rw-r--r-- 2 edrx edrx 320404 Nov 16 13:31 2009unilog-dnc.pdf -rw-r--r-- 1 edrx edrx 146408 Mar 13 01:06 2009unilog-dnc.tex -rw-r--r-- 1 edrx edrx 171088 Mar 13 01:09 2009unilog-dnc.tex.html -rw-r--r-- 1 edrx edrx 2031 Feb 26 12:51 2010-1-C2-plano-de-aulas.tex -rw-r--r-- 1 edrx edrx 3347 Mar 13 01:09 2010-1-C2-plano-de-aulas.tex.html -rw-r--r-- 1 edrx edrx 5082 Mar 13 01:06 2010-1-MD-aulas.tex -rw-r--r-- 1 edrx edrx 7364 Mar 13 01:09 2010-1-MD-aulas.tex.html -rw-r--r-- 1 edrx edrx 8708 Mar 13 01:06 2010-1-MD-plano-de-aulas.tex -rw-r--r-- 1 edrx edrx 12117 Mar 13 01:09 2010-1-MD-plano-de-aulas.tex.html -rw-r--r-- 1 edrx edrx 9815 Mar 13 01:06 2010-1-MD-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 12760 Mar 13 01:09 2010-1-MD-plano-de-curso.tex.html -rw-r--r-- 2 edrx edrx 91175 Feb 26 13:58 2010-edital-monit-MD.pdf -rw-r--r-- 1 edrx edrx 14566 Feb 26 13:59 2010-edital-monit-MD.tex -rw-r--r-- 1 edrx edrx 17395 Mar 13 01:09 2010-edital-monit-MD.tex.html -rw-r--r-- 1 edrx edrx 2056 Jan 21 15:35 2010-proj-inic.tex -rw-r--r-- 1 edrx edrx 3398 Mar 13 01:09 2010-proj-inic.tex.html -rw-r--r-- 1 edrx edrx 33786 Feb 22 12:47 2010-proj-pesq.tex -rw-r--r-- 1 edrx edrx 41348 Mar 13 01:09 2010-proj-pesq.tex.html -rw-r--r-- 1 edrx edrx 9504 Sep 5 2007 Makefile -rw-r--r-- 1 edrx edrx 15916 Mar 13 01:09 Makefile.html -rw-r--r-- 1 edrx edrx 2536 Aug 17 2008 beamertest.tex -rw-r--r-- 1 edrx edrx 3884 Mar 13 01:09 beamertest.tex.html -rw-r--r-- 1 edrx edrx 27217 May 31 2009 bussproofs.sty -rw-r--r-- 1 edrx edrx 23248 Jul 29 2009 catsem.bib -rw-r--r-- 1 edrx edrx 43502 Mar 13 01:09 catsem.bib.html -rw-r--r-- 1 edrx edrx 966 Dec 2 2004 catsembibtest.tex -rw-r--r-- 1 edrx edrx 1597 Mar 13 01:09 catsembibtest.tex.html -rw-r--r-- 1 edrx edrx 5490 Sep 8 2005 dednat.icn -rw-r--r-- 1 edrx edrx 6435 Mar 13 01:09 dednat.icn.html -rw-r--r-- 1 edrx edrx 69490 Mar 8 2005 desenhos.014 -rw-r--r-- 1 edrx edrx 104290 Mar 13 01:09 desenhos.014.html -rw-r--r-- 1 edrx edrx 18095 Jul 4 2007 diaglib.014 -rw-r--r-- 1 edrx edrx 23027 Mar 13 01:09 diaglib.014.html -rw-r--r-- 1 edrx edrx 3272 Dec 2 2004 dynkin.tcl -rw-r--r-- 1 edrx edrx 3872 Mar 13 01:09 dynkin.tcl.html -rw-r--r-- 1 edrx edrx 17719 Dec 2 2004 edrx.sty -rw-r--r-- 1 edrx edrx 23113 Mar 13 01:09 edrx.sty.html -rw-r--r-- 1 edrx edrx 10083 Jun 22 2009 filters.bib -rw-r--r-- 1 edrx edrx 17821 Mar 13 01:09 filters.bib.html -rw-r--r-- 2 edrx edrx 54936 Feb 23 22:37 forest.pdf -rw-r--r-- 1 edrx edrx 11018 Mar 4 09:16 forest.tex -rw-r--r-- 1 edrx edrx 11897 Mar 13 01:09 forest.tex.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 8106 Aug 28 2009 passo-a-passo-concurso.tex -rw-r--r-- 1 edrx edrx 10347 Mar 13 01:09 passo-a-passo-concurso.tex.html -rw-r--r-- 1 edrx edrx 2199 Nov 24 2008 phil.bib -rw-r--r-- 1 edrx edrx 3142 Mar 13 01:09 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 Mar 13 01:09 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 Mar 13 01:09 reinhab.tex.html -rw-r--r-- 1 edrx edrx 14977 Dec 2 2004 tese2.sty -rw-r--r-- 1 edrx edrx 17155 Mar 13 01:09 tese2.sty.html -rw-r--r-- 1 edrx edrx 2598 Dec 2 2004 testdynkin.tex -rw-r--r-- 1 edrx edrx 3167 Mar 13 01:09 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 Mar 13 01:09 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