![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Dokumentation/ | 2002-02-20 14:25 | - | |
| Handouts/ | 2002-02-20 14:25 | - | |
| SourceAlt/ | 2002-02-20 14:25 | - | |
| SourceNeu/ | 2002-02-20 12:39 | - | |
| Vortrag/ | 2002-02-20 14:25 | - | |
| index.html | 2002-02-20 12:39 | 567 | |
| inhalt.html | 2002-02-20 12:39 | 615 | |
| old/ | 2002-03-14 12:00 | - | |