1.1 --- a/doc-src/IsarRef/Thy/ROOT.ML	Tue Apr 22 22:00:31 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/ROOT.ML	Wed Apr 23 12:13:08 2008 +0200
     1.3 @@ -1,2 +1,5 @@
     1.4  
     1.5  (* $Id$ *)
     1.6 +
     1.7 +use "../../antiquote_setup.ML";
     1.8 +use_thy "intro";