diff -r 36a1a0911397 -r 4635641e77cb thys/uncomputable.thy
--- a/thys/uncomputable.thy	Fri Feb 01 14:54:47 2013 +0000
+++ b/thys/uncomputable.thy	Sun Feb 03 12:24:00 2013 +0000
@@ -1154,6 +1154,7 @@
     unfolding Hoare_halt_def Hoare_unhalt_def
     by (auto simp add: tape_of_nl_abv)
 qed
+
       
 text {*
   @{text "False"} can finally derived.