doc-src/System/Thy/ROOT.ML

--- a/doc-src/System/Thy/ROOT.ML	Mon Sep 15 20:51:40 2008 +0200
+++ b/doc-src/System/Thy/ROOT.ML	Mon Sep 15 20:51:58 2008 +0200
@@ -7,3 +7,4 @@
 use_thy "Basics";
 use_thy "Presentation";
 use_thy "Misc";
+use_thy "Symbols";