# HG changeset patch
# User haftmann
# Date 1166705712 -3600
# Node ID af35b480916e7841d53fba351eda126a8480e98e
# Parent  b4e4ea3db161f2732f8f83e9547a20222955c234
import path made absolute

diff -r b4e4ea3db161 -r af35b480916e src/HOL/ex/Codegenerator.thy
--- 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