![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| dsns_1e0eb13 | 2004-10-16 07:18 | 66 | |
| haiman.ps | 2003-01-10 13:24 | 488K | |
| haiman.tex | 2003-01-10 13:24 | 64K | |
| haiman_fig1.eps | 2003-01-10 13:24 | 19K | |
| haiman_fig2.eps | 2003-01-10 13:24 | 23K | |
| haiman_fig3.eps | 2003-01-10 13:24 | 15K | |
| haiman_fig4.eps | 2003-01-10 13:24 | 27K | |
| haiman_fig5.eps | 2003-01-10 13:24 | 27K | |
| haiman_fig6.eps | 2003-01-10 13:24 | 118K | |
| haiman_fig7.eps | 2003-01-10 13:24 | 39K | |