| changeset 25262 | d0928156e326 |
| parent 24465 | 70f0214b3ecc |
| child 26086 | 3c243098b64a |
--- a/src/HOL/Word/Examples/WordExamples.thy Fri Nov 02 08:59:15 2007 +0100 +++ b/src/HOL/Word/Examples/WordExamples.thy Fri Nov 02 12:35:27 2007 +0100 @@ -5,6 +5,8 @@ Examples demonstrating and testing various word operations. *) +header "Examples of word operations" + theory WordExamples imports WordMain begin