Alex Krauss wird am Mittwoch im Anschluss an Stefan auch noch einen=20 Probeverotrag f=FCr die Types halten: "Defining Partial Recursive Functions in Isabelle/HOL" Norbert =20