1
(* Title: HOL/Word/More_Word.thy
2
*)
3
4
section \<open>Ancient comprehensive Word Library\<close>
5
6
theory More_Word
7
imports
8
Word
9
Ancient_Numeral
10
begin
11
12
end