remove sorry, otherwise it breaks the testboard
authorhoelzl
Mon Nov 14 21:11:31 2011 +0100 (2011-11-14)
changeset 454965c0444d2abfe
parent 45495 c55a07526dbe
child 45497 4a23d6cb6cda
remove sorry, otherwise it breaks the testboard
src/HOL/Library/Code_Real_Approx_By_Float.thy
     1.1 --- a/src/HOL/Library/Code_Real_Approx_By_Float.thy	Mon Nov 14 18:36:31 2011 +0100
     1.2 +++ b/src/HOL/Library/Code_Real_Approx_By_Float.thy	Mon Nov 14 21:11:31 2011 +0100
     1.3 @@ -140,7 +140,4 @@
     1.4    ultimately show "False" by blast
     1.5  qed
     1.6  
     1.7 -lemma False
     1.8 -  sorry -- "Use quick_and_dirty to load this theory."
     1.9 -
    1.10  end