src/HOL/ex/Codegenerator.thy

--- a/src/HOL/ex/Codegenerator.thy	Sun Oct 01 12:07:57 2006 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Sun Oct 01 18:29:23 2006 +0200
@@ -5,7 +5,7 @@
 header {* Test and Examples for code generator *}
 
 theory Codegenerator
-imports Main "~~/src/HOL/ex/Records"
+imports Main Records
 begin
 
 subsection {* booleans *}