src/HOL/Library/Reflection.thy
changeset 51726 b3e599b5ecc8
parent 51723 da12e44b2d65
child 58881 b9556a055632
     1.1 --- a/src/HOL/Library/Reflection.thy	Sun Apr 21 10:41:18 2013 +0200
     1.2 +++ b/src/HOL/Library/Reflection.thy	Sun Apr 21 10:41:18 2013 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -ML_file "reflection.ML"
     1.8 +ML_file "~~/src/HOL/Tools/reflection.ML"
     1.9  
    1.10  method_setup reify = {*
    1.11    Attrib.thms --