Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Reflection.thy
changeset 51726 b3e599b5ecc8
parent 51723 da12e44b2d65
child 58881 b9556a055632 
--- a/src/HOL/Library/Reflection.thy	Sun Apr 21 10:41:18 2013 +0200
+++ b/src/HOL/Library/Reflection.thy	Sun Apr 21 10:41:18 2013 +0200
@@ -8,7 +8,7 @@
 imports Main
 begin
 
-ML_file "reflection.ML"
+ML_file "~~/src/HOL/Tools/reflection.ML"
 
 method_setup reify = {*
   Attrib.thms --
isabelle