![[ICO]](/icons-sys/blank.png){kind=icon}
![[PARENTDIR]](/icons-sys/back.png){kind=icon}
![[ ]](/icons-sys/info.png){kind=icon}
![[ ]](/icons-sys/unknown.png){kind=icon}
![[ ]](/icons-sys/dvi.png){kind=icon}
![[TXT]](/icons-sys/text.png){kind=icon}
![[ ]](/icons-sys/pdf.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| README | 2022-01-26 19:12 | 402 |
| all.aux | 2022-01-30 15:01 | 15K |
| all.bbl | 2022-01-30 15:01 | 19K |
| all.blg | 2022-01-30 15:01 | 1.1K |
| all.dvi | 2022-01-30 15:01 | 271K |
| all.intensional.aux | 2022-01-26 19:17 | 19K |
| all.intensional.bbl | 2022-01-26 19:17 | 14K |
| all.intensional.blg | 2022-01-26 19:17 | 1.1K |
| all.intensional.dvi | 2022-01-26 19:17 | 247K |
| all.intensional.log | 2022-01-26 19:17 | 34K |
| all.intensional.tex | 2022-01-26 18:58 | 204K |
| all.intensional.toc | 2022-01-26 19:17 | 8.0K |
| all.log | 2022-01-30 15:01 | 29K |
| all.pdf | 2022-01-30 15:01 | 1.0M |
| all.ps.gz | 2022-01-30 15:02 | 1.2M |
| all.tex | 2022-01-30 15:01 | 238K |
| all.tex~ | 2022-01-29 12:22 | 238K |
| all.toc | 2022-01-30 15:01 | 2.9K |
| named.bst | 2008-03-22 11:15 | 23K |
| publish | 2022-01-26 18:39 | 123 |
| publish~ | 2022-01-05 22:19 | 87 |