
diff -r 7e33ba6190de -r 07be4fccd329 ProgTutorial/Advanced.thy
--- a/ProgTutorial/Advanced.thy	Wed Jul 28 11:47:21 2010 +0100
+++ b/ProgTutorial/Advanced.thy	Wed Jul 28 20:52:42 2010 +0100
@@ -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"]
 *}
 (*>*)
 




