
diff -r 74ab7c0980c7 -r a5089fc012b5 doc-src/TutorialI/Overview/LNCS/Ind.thy
--- a/doc-src/TutorialI/Overview/LNCS/Ind.thy	Mon Nov 13 15:42:58 2006 +0100
+++ b/doc-src/TutorialI/Overview/LNCS/Ind.thy	Mon Nov 13 15:42:59 2006 +0100
@@ -1,4 +1,4 @@
-(*<*)theory Ind = Main:(*>*)
+(*<*)theory Ind imports Main begin(*>*)
 
 section{*Inductive Definitions*}
 




