diff -r 2dcdea037385 -r 0e86aab627f3 doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 23:12:23 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 23:38:22 2008 +0200
@@ -9,7 +9,7 @@
 use_thy "Spec";
 use_thy "Proof";
 use_thy "Document_Preparation";
-use_thy "pure";
+use_thy "Misc";
 use_thy "Generic";
 use_thy "HOL_Specific";
 use_thy "Quick_Reference";