![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| app.tex | 16-Feb-2012 12:25 | 12K | |
| bib.tex | 10-Feb-2012 15:43 | 2.0K | |
| defs.tex | 07-Feb-2012 14:59 | 1.3K | |
| exptrees.sty | 06-Feb-2012 10:56 | 78K | |
| interp.tex | 13-Feb-2012 17:05 | 49K | |
| jb_sec2.tex | 13-Feb-2012 16:32 | 16K | |
| prooftree.tex | 13-Feb-2012 09:26 | 12K | |
| root.bib | 10-Feb-2012 15:41 | 1.4K | |
| root.dvi | 21-Jun-2012 18:30 | 85K | |
| root.pdf | 24-Dec-2015 10:19 | 232K | |
| root.tex | 13-Feb-2012 16:23 | 3.1K | |