| changeset 51542 | 738598beeb26 |
| parent 48891 | c0eafbd55de3 |
| child 51723 | da12e44b2d65 |
--- 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 *}