![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| all.aux | 2010-04-28 10:30 | 2.8K | |
| all.bbl | 2009-11-07 10:55 | 7.7K | |
| all.blg | 2009-11-07 10:55 | 944 | |
| all.dvi | 2010-04-28 10:30 | 18K | |
| all.log | 2010-04-28 10:30 | 6.3K | |
| all.pdf | 2009-11-05 00:45 | 286K | |
| all.tex | 2009-11-05 00:45 | 9.2K | |
| amssymb.sty | 2009-11-03 20:11 | 15K | |
| article.cls | 2009-11-03 20:11 | 19K | |
| headerforformulas.tex | 2009-11-03 20:11 | 24K | |
| headerhot.tex | 2009-11-03 20:11 | 38K | |
| headernames.tex | 2009-11-03 20:11 | 48 | |
| headernamesrest.tex | 2009-11-03 20:11 | 128K | |
| herbrandbib.bib | 2009-11-03 20:11 | 1.1M | |
| named.bst | 2009-11-03 20:11 | 23K | |
| named.sty | 2009-11-03 20:11 | 3.1K | |
| namedhelper.tex | 2009-11-03 20:11 | 1.3K | |
| size10.clo | 2009-11-03 20:11 | 8.5K | |
| specialfonts.tex | 2009-11-03 20:11 | 18K | |
| url.sty | 2009-11-03 20:11 | 21K | |