diff -r 0e2a29a1065c -r cc127cc0951b doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Fri May 02 16:32:51 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Fri May 02 16:36:05 2008 +0200
@@ -4,3 +4,4 @@
 use "../../antiquote_setup.ML";
 use_thy "intro";
 use_thy "syntax";
+use_thy "pure";