![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| apx.tex | 2014-04-22 15:35 | 33K | |
| cats.tex | 2014-08-14 11:05 | 6.2K | |
| deep.tex | 2014-08-14 11:05 | 11K | |
| dl.tex | 2014-06-26 11:50 | 7.5K | |
| eqcatsdl.tex | 2014-04-22 14:26 | 1.7K | |
| eqdlshallow.tex | 2014-06-25 17:18 | 10K | |
| eqshallowdeep.tex | 2014-08-14 11:05 | 16K | |
| further.tex | 2014-04-22 09:35 | 240 | |
| general.tex | 2014-08-14 11:05 | 18K | |
| gl-stuff.tex | 2014-04-22 09:35 | 56K | |
| intro.tex | 2014-08-14 11:05 | 16K | |
| keep.tex | 2014-04-22 09:35 | 4.2K | |
| related.tex | 2014-06-26 13:28 | 2.7K | |
| root.bbl | 2014-06-26 11:25 | 3.3K | |
| root.bib | 2014-04-22 09:35 | 16K | |
| root.dvi | 2014-06-26 13:28 | 74K | |
| root.pdf | 2014-06-26 11:18 | 376K | |
| root.tex | 2014-06-25 11:33 | 9.7K | |
| shallow.tex | 2014-04-28 12:19 | 12K | |
| soundness.tex | 2014-08-14 11:05 | 9.5K | |