# HG changeset patch
# User haftmann
# Date 1184052196 -7200
# Node ID a5ffe85460afafe7066df546b215e350e167e0b0
# Parent  0410269099dcb3da3df9f10c0b82d32bbe4f5106
re-expanded paths

diff -r 0410269099dc -r a5ffe85460af src/HOL/ex/ExecutableContent.thy
--- a/src/HOL/ex/ExecutableContent.thy	Tue Jul 10 09:23:15 2007 +0200
+++ b/src/HOL/ex/ExecutableContent.thy	Tue Jul 10 09:23:16 2007 +0200
@@ -9,11 +9,11 @@
 imports
   Main
   Eval
-  Records
+  "~~/src/HOL/ex/Records"
   AssocList
   Binomial
   Commutative_Ring
-  Commutative_Ring_Complete
+  "~~/src/HOL/ex/Commutative_Ring_Complete"
   Executable_Real
   GCD
   List_Prefix