--- 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";