doc-src/Classes/Thy/Setup.thy

--- a/doc-src/Classes/Thy/Setup.thy	Tue Mar 03 11:00:51 2009 +0100
+++ b/doc-src/Classes/Thy/Setup.thy	Tue Mar 03 13:20:53 2009 +0100
@@ -1,8 +1,8 @@
 theory Setup
 imports Main Code_Integer
 uses
-  "../../../antiquote_setup"
-  "../../../more_antiquote"
+  "../../antiquote_setup"
+  "../../more_antiquote"
 begin
 
 ML {* Code_Target.code_width := 74 *}