--- a/doc-src/TutorialI/Overview/LNCS/Rules.thy Mon Nov 13 15:42:58 2006 +0100
+++ b/doc-src/TutorialI/Overview/LNCS/Rules.thy Mon Nov 13 15:42:59 2006 +0100
@@ -1,4 +1,4 @@
-(*<*)theory Rules = Main:(*>*)
+(*<*)theory Rules imports Main begin(*>*)
section{*The Rules of the Game*}