# HG changeset patch
# User haftmann
# Date 1241441387 -7200
# Node ID 38901ed00ec37117c41702a4bc0d42e8271a438c
# Parent  cbec39ebf8f21281c25fdf851ad996822c4f7d84
tuned header

diff -r cbec39ebf8f2 -r 38901ed00ec3 src/HOL/Code_Message.thy
--- 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 *}