![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ISOPRIMES1.zip | 02-Mar-2009 17:08 | 9.8M | |
| ISOPRIMES2.zip | 02-Mar-2009 17:09 | 8.8M | |
| ISOSELF1.zip | 02-Mar-2009 17:10 | 8.6M | |
| everything.zip | 02-Mar-2009 16:23 | 8.6M | |
| fISO.hs | 31-Dec-2009 13:12 | 70K | |
| fISO.pdf | 31-Dec-2009 13:19 | 6.9M | |
| fISO.zip | 23-Jun-2009 08:30 | 16M | |
| fOBDT.hs | 01-Nov-2009 10:14 | 4.2K | |
| fOBDT.pdf | 30-Oct-2009 15:25 | 224K | |
| fgoedel.hs | 15-Oct-2009 19:33 | 5.9K | |
| fgoedel.pdf | 15-Oct-2009 19:58 | 186K | |
| fsyn.hs | 03-Mar-2010 17:40 | 4.0K | |
| fsyn.pdf | 01-Nov-2009 09:50 | 186K | |
| goedel.zip | 11-May-2009 14:25 | 630K | |
| hISO.zip | 11-May-2009 13:52 | 232K | |
| isoNKS.nb | 01-Oct-2009 07:13 | 142K | |
| jfpPRIMES.hs | 03-Sep-2009 18:31 | 8.3K | |
| jfpPRIMES.pdf | 03-Sep-2009 19:13 | 1.9M | |
| pBDD.zip | 02-Mar-2009 16:45 | 8.8M | |
| pHFP.zip | 02-Mar-2009 16:43 | 9.2M | |
| pISO.zip | 11-May-2009 14:35 | 1.3M | |
| shared.hs | 03-Oct-2009 08:19 | 11K | |
| sharedAxioms.hs | 14-Jul-2009 17:37 | 13K | |
| sharedAxioms.pdf | 15-Jul-2009 14:41 | 183K | |
| slides_PPDP09.pdf | 05-Sep-2009 07:58 | 403K | |
| syn.pdf | 04-Sep-2009 08:39 | 429K | |
| syn.pro | 04-Sep-2009 08:30 | 7.4K | |
| tarau_ppdp09.pdf | 23-Jun-2009 08:32 | 336K | |