![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ATS.dats | 03-Nov-2008 15:03 | 48K | |
| BinaryTree.dats | 03-Nov-2008 15:03 | 4.2K | |
| CPS.dats | 03-Nov-2008 15:03 | 7.0K | |
| ClosureConv.dats | 03-Nov-2008 15:03 | 3.6K | |
| CutElimIL.dats | 03-Nov-2008 15:03 | 10K | |
| CutElimILL.dats | 03-Nov-2008 15:03 | 24K | |
| HilbertCalculus.dats | 03-Nov-2008 15:03 | 3.5K | |
| ITPT.dats | 03-Nov-2008 15:03 | 3.7K | |
| KolmogorovTrans.dats | 03-Nov-2008 15:03 | 13K | |
| Makefile | 03-Nov-2008 15:03 | 3.1K | |
| STLC-SN-foas.dats | 03-Nov-2008 15:03 | 9.0K | |
| STLC-SN-hoas.dats | 03-Nov-2008 15:03 | 8.9K | |
| STLC-foas.dats | 03-Nov-2008 15:03 | 8.8K | |
| STLC-hoas.dats | 03-Nov-2008 15:03 | 13K | |
| irrationality-of-sqrt2.dats | 03-Nov-2008 15:03 | 3.4K | |
| irrationality_of_sqrt2.dats | 15-Mar-2008 18:07 | 3.4K | |
| mini-ML.dats | 03-Nov-2008 15:03 | 7.0K | |
| miniML.dats | 15-Mar-2008 18:07 | 7.0K | |