![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 1996-03-22 00:00 | 1.2K | |
| eddelbud-msc.ps.gz | 1995-03-07 00:00 | 365K | |
| fang-msc.ps.gz | 1994-10-05 00:00 | 163K | |
| horn-msc.info.gz | 1995-10-28 00:00 | 2.4K | |
| maresky-msc.info.gz | 1994-11-30 00:00 | 1.1K | |
| ruhland-dipl.info.gz | 1994-10-07 00:00 | 2.0K | |