![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| vasy.gif | 2003-01-07 09:53 | 42K | |
| isozaki.gif | 2003-02-03 12:37 | 31K | |
| isozaki2.gif | 2003-02-12 10:00 | 23K | |
| isozaki.log | 2003-02-03 12:34 | 3.9K | |
| vasy.log | 2003-01-07 09:51 | 3.9K | |
| vasy.dvi | 2003-01-07 09:51 | 2.2K | |
| vasy.tex | 2003-01-07 09:51 | 1.7K | |
| isozaki.dvi | 2003-02-03 12:34 | 1.7K | |
| isozaki2.tex | 2014-06-24 15:01 | 1.4K | |
| isozaki.tex | 2003-02-03 12:37 | 1.3K | |
| vasy.aux | 2003-01-07 09:51 | 8 | |
| isozaki.aux | 2003-02-03 12:34 | 8 | |