![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| D18-1.ps.gz | 14-Oct-1995 22:47 | 61K | |
| D18-1_front.ps.gz | 14-Oct-1995 22:48 | 25K | |
| D18-3_front.ps.gz | 14-Oct-1995 22:48 | 22K | |
| D18-4.ps.gz | 14-Oct-1995 22:49 | 102K | |
| D18-5.ps.gz | 25-Oct-1995 11:26 | 63K | |
| D18-5_front.ps.gz | 14-Oct-1995 22:48 | 23K | |
| Index.html | 25-Oct-1995 11:29 | 6.0K | |