--- a/src/HOL/Library/Code_Real_Approx_By_Float.thy Mon Nov 14 18:36:31 2011 +0100
+++ b/src/HOL/Library/Code_Real_Approx_By_Float.thy Mon Nov 14 21:11:31 2011 +0100
@@ -140,7 +140,4 @@
ultimately show "False" by blast
qed
-lemma False
- sorry -- "Use quick_and_dirty to load this theory."
-
end