diff -r 6c8cd101f875 -r eb15fd4cd1ad doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Tue Apr 22 22:00:31 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Wed Apr 23 12:13:08 2008 +0200
@@ -1,2 +1,5 @@
 
 (* $Id$ *)
+
+use "../../antiquote_setup.ML";
+use_thy "intro";