equal
deleted
inserted
replaced
|
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 |