src/HOL/Word/Word.thy
author nipkow
Fri Mar 06 17:38:47 2009 +0100 (2009-03-06)
changeset 30313 b2441b0c8d38
parent 29628 d9294387ab0e
child 35049 00f311c32444
permissions -rw-r--r--
added lemmas
     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