changeset 31032 | 38901ed00ec3 |
parent 28952 | 15a4b2cf8c34 |
--- 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 *}