1
(* Title: HOL/Word/Word.thy
2
Author: Gerwin Klein, NICTA
3
*)
4
5
header {* Word Library interafce *}
6
7
theory Word
8
imports WordGenLib
9
begin
10
11
text {* see @{text "Examples/WordExamples.thy"} for examples *}
12
13
end