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