![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 98/ | 29-Oct-2009 08:19 | - | |
| 99/ | 24-Aug-2010 09:40 | - | |
| 2000/ | 30-Sep-2011 07:07 | - | |
| 2001/ | 29-Oct-2009 08:19 | - | |
| 2002/ | 29-Oct-2009 08:19 | - | |
| 2003/ | 29-Oct-2009 08:19 | - | |
| 2004/ | 22-Oct-2010 13:22 | - | |
| 2006/ | 29-Oct-2009 08:19 | - | |
| 2007/ | 29-Oct-2009 08:19 | - | |
| 2008/ | 29-Oct-2009 08:19 | - | |
| 2009/ | 20-Oct-2010 14:55 | - | |
| 2010/ | 04-Jun-2011 17:01 | - | |
| 2011/ | 11-Aug-2011 12:07 | - | |
| 2012/ | 24-Jan-2012 15:37 | - | |
| BinPrologPapers/ | 29-Oct-2009 08:19 | - | |
| JinniPapers/ | 29-Oct-2009 08:19 | - | |
| LeanProlog.zip | 16-Jan-2012 19:54 | 2.0M | |
| LeanProlog/ | 16-Jan-2012 19:53 | - | |
| NewBinPrologPapers/ | 29-Oct-2009 08:19 | - | |
| NewJinniPapers/ | 29-Oct-2009 08:19 | - | |
| OtherPapers/ | 29-Oct-2009 08:19 | - | |
| PapersHTML/ | 11-Dec-1999 00:04 | - | |
| SelectedPapers/ | 29-Oct-2009 08:19 | - | |
| Styla.zip | 16-Jan-2012 19:50 | 372K | |
| bijectiveNSF/ | 28-Nov-2011 16:22 | - | |
| idss.html | 05-May-2003 10:32 | 2.3K | |
| isoNSF/ | 14-Dec-2011 21:31 | - | |
| paul.jpg | 12-Jun-1999 12:30 | 4.4K | |
| researchPapers.html | 16-Feb-2003 03:24 | 8.0K | |
| slides/ | 29-Oct-2009 08:19 | - | |
| tarau.bib | 16-Feb-2003 03:20 | 43K | |
| tinynew.gif | 12-Jun-1999 12:30 | 195 | |
