![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bierstone.ps | 18-Apr-2000 12:47 | 592K | |
| contents.ps | 18-Apr-2000 12:47 | 52K | |
| dcf.ps | 18-Apr-2000 12:47 | 324K | |
| denef.ps | 18-Apr-2000 12:47 | 515K | |
| dries.ps | 18-Apr-2000 12:48 | 423K | |
| fm1.ps | 24-Apr-2000 10:56 | 326K | |
| hart.ps | 18-Apr-2000 12:48 | 366K | |
| mac.ps | 18-Apr-2000 12:48 | 517K | |
| marker.ps | 18-Apr-2000 12:48 | 427K | |
| mazur.ps | 18-Apr-2000 12:49 | 617K | |
| overview.ps | 18-Apr-2000 12:49 | 249K | |
| zoe.ps | 18-Apr-2000 12:49 | 573K | |