doc-src/IsarRef/Thy/ROOT.ML

--- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Apr 28 13:41:04 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Apr 28 14:22:42 2008 +0200
@@ -3,3 +3,4 @@
 
 use "../../antiquote_setup.ML";
 use_thy "intro";
+use_thy "syntax";