--- a/src/HOL/ex/Codegenerator.thy Thu Dec 21 13:55:11 2006 +0100
+++ b/src/HOL/ex/Codegenerator.thy Thu Dec 21 13:55:12 2006 +0100
@@ -7,7 +7,7 @@
theory Codegenerator
imports
Main
- Records
+ "~~/src/HOL/ex/Records"
AssocList
Binomial
Commutative_Ring