![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/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 | - | ||
| MaudeExamples.zip | 2018-10-14 08:18 | 9.7K | |
| PLATutorial.zip | 2012-10-04 03:07 | 6.7M | |
| cite.txt | 2017-01-28 16:34 | 292 | |
| feferman-memorial.key.pdf | 2017-06-04 20:20 | 6.3M | |
| pl-16bibmfm.key.pdf | 2016-12-17 15:20 | 10M | |
| plfm.pdf | 2017-01-28 16:08 | 1.0M | |
| soft-agents16sfm.key.pdf | 2018-10-14 08:10 | 3.2M | |
| sumG-top20ud1s1x-u6.xlsx | 2019-04-09 10:47 | 108K | |