![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lindenstrauss-1.rm | 2002-08-13 11:54 | 140M | |
| lindenstrauss-1-audio.rm | 2002-08-13 12:23 | 15M | |
| lindenstrauss-1.mp3 | 2002-08-13 12:37 | 9.6M | |
| lindenstrauss-1.jpeg | 2002-08-13 12:54 | 9.5K | |
| slides/ | 2002-08-13 12:24 | - | |