
diff -r 3dc292be0b54 -r d0928156e326 src/HOL/Word/Examples/WordExamples.thy
--- 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
 




