doc-src/IsarOverview/Isar/document/Induction.tex
2005-06-17 wenzelm 2005-06-17 updated;
2005-05-23 nipkow 2005-05-23 converted back from 0..< to <.
2005-05-02 nipkow 2005-05-02 fixed setsum problem
2004-04-17 nipkow 2004-04-17 Added case distinction proof pattern.
2003-05-12 kleing 2003-05-12 IsarOverview moved one level up