
diff -r a0b280dd4bc7 -r 520127b708e6 ProgTutorial/Advanced.thy
--- a/ProgTutorial/Advanced.thy	Tue Jul 20 13:34:44 2010 +0100
+++ b/ProgTutorial/Advanced.thy	Wed Jul 28 19:09:49 2010 +0200
@@ -1,12 +1,12 @@
 theory Advanced
-imports Base FirstSteps
+imports Base First_Steps
 begin
 
 (*<*)
 setup{*
 open_file_with_prelude 
   "Advanced_Code.thy"
-  ["theory Advanced", "imports Base FirstSteps", "begin"]
+  ["theory Advanced", "imports Base First_Steps", "begin"]
 *}
 (*>*)
 




