diff -r c6b17889237a -r d5db6dfcb34a doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Tue Nov 18 18:22:49 2008 +0100
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Tue Nov 18 18:25:10 2008 +0100
@@ -14,4 +14,5 @@
 use_thy "Generic";
 use_thy "HOL_Specific";
 use_thy "Quick_Reference";
+use_thy "Symbols";
 use_thy "ML_Tactic";