![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Aug95-p1.html/ | 09-May-1997 17:56 | - | |
| Aug95-p1.ps | 31-May-1996 18:11 | 94K | |
| Aug95-p1.tex | 31-May-1996 18:11 | 2.0K | |
| Aug95-p2.html/ | 09-May-1997 17:56 | - | |
| Aug95-p2.ps | 31-May-1996 18:11 | 87K | |
| Aug95-p2.tex | 31-May-1996 18:11 | 2.9K | |
| Aug96.html/ | 09-May-1997 17:56 | - | |
| Aug96.ps | 05-Nov-1996 10:44 | 81K | |
| Aug96.tex | 05-Nov-1996 09:45 | 2.2K | |
| Aug97.tex | 05-Aug-1998 09:27 | 1.7K | |