diff -r a0b280dd4bc7 -r 520127b708e6 ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Tue Jul 20 13:34:44 2010 +0100
+++ b/ProgTutorial/ROOT.ML	Wed Jul 28 19:09:49 2010 +0200
@@ -6,7 +6,7 @@
 no_document use_thy "Efficient_Nat";
 
 use_thy "Intro";
-use_thy "FirstSteps";
+use_thy "First_Steps";
 use_thy "Essential";
 use_thy "Advanced";