(* Title: HOL/Word/Word.thy Author: Gerwin Klein, NICTA *) header {* Word Library interface *} theory Word imports WordGenLib uses "~~/src/HOL/Tools/SMT/smt_word.ML" begin setup {* SMT_Word.setup *} text {* see @{text "Examples/WordExamples.thy"} for examples *} end