--- a/src/HOL/ex/Reflection.thy Fri Jul 06 16:09:26 2007 +0200
+++ b/src/HOL/ex/Reflection.thy Fri Jul 06 16:09:27 2007 +0200
@@ -17,7 +17,6 @@
by (blast intro: ext)
use "reflection.ML"
-ML{* Reify_Data.get @{context}*}
method_setup reify = {*
fn src =>