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