1.1 --- a/doc-src/Classes/Thy/Setup.thy	Wed Aug 11 08:50:20 2010 +0200
     1.2 +++ b/doc-src/Classes/Thy/Setup.thy	Wed Aug 11 09:06:31 2010 +0200
     1.3 @@ -1,8 +1,8 @@
     1.4  theory Setup
     1.5  imports Main Code_Integer
     1.6  uses
     1.7 -  "../../antiquote_setup"
     1.8 -  "../../more_antiquote"
     1.9 +  "../../antiquote_setup.ML"
    1.10 +  "../../more_antiquote.ML"
    1.11  begin
    1.12  
    1.13  setup {* Code_Target.set_default_code_width 74 *}