diff -r 1d963bfd4a1b -r ec46381f149d doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Wed May 07 10:59:54 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Wed May 07 12:38:55 2008 +0200
@@ -6,4 +6,5 @@
 use_thy "syntax";
 use_thy "pure";
 use_thy "Generic";
+use_thy "HOL_Specific";
 use_thy "Quick_Reference";