Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
repaired document;
authorwenzelm
Sun, 02 Mar 2014 18:20:08 +0100
changeset 55833 6fe16c8a6474
parent 55832 8dd16f8dfe99
child 55835 eb8e231a335f
repaired document;
src/HOL/Word/Word.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Word/Word.thy	Sun Mar 02 18:11:30 2014 +0100
+++ b/src/HOL/Word/Word.thy	Sun Mar 02 18:20:08 2014 +0100
@@ -2018,7 +2018,7 @@
   unfolding uint_nat by (simp add : unat_mod zmod_int)
 
 
-subsection {* Definition of @[text unat_arith} tactic *}
+subsection {* Definition of @{text unat_arith} tactic *}
 
 lemma unat_split:
   fixes x::"'a::len word"
isabelle