doc-src/IsarOverview/Isar/document/Induction.tex
2007-10-16 wenzelm 2007-10-16 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-28 wenzelm 2005-08-28 updated;
2005-08-19 wenzelm 2005-08-19 updated;
2005-06-22 nipkow 2005-06-22 tuned
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