Hallo zusammen,
zumindest die Ank=FCndigungen sind jetzt kurzfristiger ;)
Heute, 15 Uhr, im John von Neumann (00.11.038)
Christian Urban:
Es geht heute um starke Induktionsprinzipien und =FCber
das Problem mit Multi-Parameter Typklassen.
Norbert