Mercurial Mercurial > hg > tm / comparison
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
equal deleted inserted replaced
108:36a1a0911397 109:4635641e77cb 
  1152     unfolding P1_def
 
  1152     unfolding P1_def
 
  1153     unfolding haltP_def
 
  1153     unfolding haltP_def
 
  1154     unfolding Hoare_halt_def Hoare_unhalt_def
 
  1154     unfolding Hoare_halt_def Hoare_unhalt_def
 
  1155     by (auto simp add: tape_of_nl_abv)
 
  1155     by (auto simp add: tape_of_nl_abv)
 
  1156 qed
 
  1156 qed
 
       
  1157 
  1157       
  1158       
  1158 text {*
 
  1159 text {*
 
  1159   @{text "False"} can finally derived.
 
  1160   @{text "False"} can finally derived.
 
  1160 *}
 
  1161 *}
 
  1161 
  1162
tm