1.1 --- a/doc-src/IsarRef/Thy/ROOT.ML	Tue May 03 14:23:40 2011 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/ROOT.ML	Tue May 03 15:07:36 2011 +0200
     1.3 @@ -1,6 +1,4 @@
     1.4  quick_and_dirty := true;
     1.5 -Thy_Output.source_default := true;
     1.6 -use "../../antiquote_setup.ML";
     1.7  
     1.8  use_thys [
     1.9    "Introduction",