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