Mercurial Mercurial > hg > tm / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
thys/uncomputable.thy
changeset 109 4635641e77cb
parent 105 2cae8a39803e
child 112 fea23f9a9d85 
--- 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.
tm