| changeset 70173 | c2786fe88064 |
| parent 70170 | 56727602d0a5 |
| child 70175 | 85fb1a585f52 |
--- a/src/HOL/Word/Word.thy Tue Apr 16 19:50:09 2019 +0000 +++ b/src/HOL/Word/Word.thy Tue Apr 16 19:50:18 2019 +0000 @@ -14,7 +14,7 @@ Misc_Arithmetic begin -text \<open>See \<^file>\<open>WordExamples.thy\<close> for examples.\<close> +text \<open>See \<^file>\<open>Word_Examples.thy\<close> for examples.\<close> subsection \<open>Type definition\<close>