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