changeset 24350 | 4d74f37c6367 |
parent 24333 | e77ea0ea7f2c |
child 24408 | 058c5613a86f |
--- a/src/HOL/Word/WordGenLib.thy Mon Aug 20 18:10:13 2007 +0200 +++ b/src/HOL/Word/WordGenLib.thy Mon Aug 20 18:11:09 2007 +0200 @@ -6,6 +6,8 @@ of recursion and induction patterns for words. *) +header {* Miscellaneous Library for Words *} + theory WordGenLib imports WordShift Boolean_Algebra begin