![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/ball.red.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 1996-03-18 10:44 | 1.4K | |
| paper1.ps | 1995-01-09 10:25 | 1.3M | |
| paper2a.ps | 1995-04-22 13:56 | 445K | |
| paper2b.ps | 1995-04-22 13:58 | 616K | |
| paper2c.ps | 1995-04-22 13:59 | 122K | |
| paper2d.ps | 1995-04-22 14:00 | 424K | |
| paper3a.ps | 1995-09-25 14:53 | 208K | |
| paper3b.ps | 1995-09-25 14:54 | 164K | |