
diff -r ac9e909fe55d -r 0a2371e7ced3 src/Doc/Classes/Setup.thy
--- a/src/Doc/Classes/Setup.thy	Fri Feb 15 08:31:30 2013 +0100
+++ b/src/Doc/Classes/Setup.thy	Fri Feb 15 08:31:31 2013 +0100
@@ -1,5 +1,5 @@
 theory Setup
-imports Main "~~/src/HOL/Library/Code_Integer"
+imports Main
 begin
 
 ML_file "../antiquote_setup.ML"
@@ -37,4 +37,4 @@
   end
 *}
 
-end
\ No newline at end of file
+end




