src/HOL/Library/Reflection.thy

--- a/src/HOL/Library/Reflection.thy	Thu Feb 16 22:54:40 2012 +0100
+++ b/src/HOL/Library/Reflection.thy	Thu Feb 16 23:07:01 2012 +0100
@@ -11,9 +11,6 @@
 
 setup {* Reify_Data.setup *}
 
-lemma ext2: "(\<forall>x. f x = g x) \<Longrightarrow> f = g"
-  by blast
-
 use "reflection.ML"
 
 method_setup reify = {*