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