![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| dinerstein.ps | 2003-05-28 09:47 | 491K | |
| dinerstein.tex | 2003-05-28 09:46 | 33K | |
| dsns_1e77be4 | 2004-10-16 07:25 | 66 | |
| ge3.eps | 2003-05-28 09:47 | 15K | |
| levelsclipped.eps | 2003-05-28 09:46 | 372K | |
| revised.ps | 2003-06-02 08:39 | 491K | |
| revised.tex | 2003-06-02 08:39 | 33K | |
| znfig.ps | 2003-05-28 09:46 | 35K | |