doc-src/System/Thy/ROOT.ML

--- a/doc-src/System/Thy/ROOT.ML	Mon Sep 15 17:32:12 2008 +0200
+++ b/doc-src/System/Thy/ROOT.ML	Mon Sep 15 19:42:22 2008 +0200
@@ -5,3 +5,4 @@
 use "../../antiquote_setup.ML";
 
 use_thy "Basics";
+use_thy "Presentation";