[Club2] 01.03.06

Makarius makarius@sketis.net
Sat, 4 Mar 2006 21:08:03 +0100 (CET)


On Mon, 27 Feb 2006, Norbert Schirmer wrote:

> Mittwoch, 01.03.2006, 15.00 Uhr, im Raum: John v. Neumann  00.11.038
> 
>  Titel: Natural Deduction vs. Natural Induction in Isabelle/Isar

Hierzu gibt es jetzt auch ein Papier: 
http://isabelle.in.tum.de/Isar/induct.pdf (to be submitted to MKM2006).


	Makarius