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