![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00files | 1998-02-05 09:14 | 4.3K | |
| 9608414.ps.gz | 1996-08-23 09:03 | 30K | |
| 9608.list.gz | 1996-09-03 09:00 | 45K | |
| 9608213.ps.gz | 1996-11-14 06:49 | 57K | |
| 9608401.ps.gz | 1996-08-22 08:58 | 62K | |
| 9608223.ps.gz | 1996-08-08 09:00 | 70K | |
| 9608308.ps.gz | 1996-08-14 08:56 | 86K | |
| 9608393.ps.gz | 1996-08-22 08:57 | 88K | |
| 9608343.ps.gz | 1997-05-14 06:44 | 96K | |
| 9608470.ps.gz | 1996-08-30 08:57 | 184K | |
| 00index.html | 2006-11-20 17:44 | 263K | |
| 9608343.fig1.ps.gz | 1997-05-14 06:44 | 275K | |