
diff -r e7b6b61b7be2 -r 738598beeb26 src/HOL/Library/Reflection.thy
--- a/src/HOL/Library/Reflection.thy	Tue Mar 26 19:43:31 2013 +0100
+++ b/src/HOL/Library/Reflection.thy	Tue Mar 26 20:02:02 2013 +0100
@@ -8,8 +8,8 @@
 imports Main
 begin
 
-ML_file "~~/src/HOL/Library/reify_data.ML"
-ML_file "~~/src/HOL/Library/reflection.ML"
+ML_file "reify_data.ML"
+ML_file "reflection.ML"
 
 setup {* Reify_Data.setup *}
 




