[Club2] Nachschlag

Norbert Schirmer schirmer@in.tum.de
Mon, 10 Apr 2006 12:22:08 +0200


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