[Club2] Doch kein Nachschlag

[Alexander Krauss]

Lieber Club2,

> Alex Krauss wird am Mittwoch im Anschluss an Stefan auch noch einen 
> Probeverotrag für die Types halten:
> 
> "Defining Partial Recursive Functions in Isabelle/HOL"

Da meine Folien noch im Alpha-Stadium sind, und Inhalt und Struktur eh identisch
sind mit meinem Vortrag im Januar, lasse ich zur Zeitersparnis aller beteiligten
meinen Probevortrag heute ausfallen. (dem alten Musikermotto folgend: "Wer übt,
hat's nötig.") :-)

Gruß
Alex