Up to index of Isabelle/HOL/HOL-Word
theory Word(* 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