![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 9312079.ps.gz | 1996-07-15 09:46 | 69K | |
| 9312057.ps.gz | 1996-07-15 09:46 | 138K | |
| 9312051.ps.gz | 1996-07-15 09:46 | 252K | |
| 9312041.ps.gz | 1996-07-15 09:46 | 30K | |
| 9312039.ps.gz | 1996-07-15 09:46 | 39K | |
| 9312033.ps.gz | 2005-10-28 12:19 | 26K | |
| 9312033.fig2.ps.gz | 2005-10-28 12:19 | 43K | |
| 9312033.fig1.ps.gz | 2005-10-28 12:19 | 50K | |
| 9312019.ps.gz | 1996-07-15 09:46 | 35K | |
| 00index.html | 2006-11-20 17:33 | 66K | |
| 00files | 1998-02-04 08:57 | 1.2K | |