| changeset 17914 | 99ead7a7eb42 |
| parent 16522 | f718767efd49 |
| child 23733 | 3f8ad7418e55 |
--- a/doc-src/IsarOverview/Isar/Induction.thy Wed Oct 19 17:21:53 2005 +0200 +++ b/doc-src/IsarOverview/Isar/Induction.thy Wed Oct 19 21:52:07 2005 +0200 @@ -1,4 +1,4 @@ -(*<*)theory Induction = Main:(*>*) +(*<*)theory Induction imports Main begin(*>*) section{*Case distinction and induction \label{sec:Induct}*}