diff -r 419116f1157a -r e23770bc97c8 doc-src/IsarImplementation/Thy/ROOT.ML
--- a/doc-src/IsarImplementation/Thy/ROOT.ML	Thu Feb 26 08:44:44 2009 -0800
+++ b/doc-src/IsarImplementation/Thy/ROOT.ML	Thu Feb 26 08:48:33 2009 -0800
@@ -1,11 +1,8 @@
-
-(* $Id$ *)
-
-use_thy "prelim";
-use_thy "logic";
-use_thy "tactic";
-use_thy "proof";
-use_thy "isar";
-use_thy "locale";
-use_thy "integration";
+use_thy "Prelim";
+use_thy "Logic";
+use_thy "Tactic";
+use_thy "Proof";
+use_thy "Isar";
+use_thy "Local_Theory";
+use_thy "Integration";
 use_thy "ML";