![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| fig1ps | 1995-11-22 08:39 | 18K | |
| fig2ps | 1995-11-22 08:39 | 33K | |
| fig3ps | 1995-11-22 08:39 | 59K | |
| fig4ps | 1995-11-22 08:39 | 32K | |
| fig5ps | 1995-11-22 08:39 | 17K | |
| fig6ps | 1995-11-22 08:39 | 24K | |
| fig7ps | 1995-11-22 08:39 | 42K | |
| fig8ps | 1995-11-22 08:39 | 48K | |
| fig9ps | 1995-11-22 08:39 | 190K | |
| latex | 1995-11-22 08:39 | 23K | |
| latex.dvi | 1995-11-22 08:39 | 30K | |
| ps | 1995-11-22 08:39 | 173K | |