tuned header

--- a/src/HOL/Code_Message.thy	Mon May 04 14:49:46 2009 +0200
+++ b/src/HOL/Code_Message.thy	Mon May 04 14:49:47 2009 +0200
@@ -1,6 +1,4 @@
-(*  ID:         $Id$
-    Author:     Florian Haftmann, TU Muenchen
-*)
+(* Author: Florian Haftmann, TU Muenchen *)
 
 header {* Monolithic strings (message strings) for code generation *}