(* Title: HOL/Word/Word.thy Author: Gerwin Klein, NICTA *) header {* Word Library interface *} theory Word imports WordGenLib begin text {* see @{text "Examples/WordExamples.thy"} for examples *} end