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




