author | haftmann |
Mon, 04 May 2009 14:49:47 +0200 | |
changeset 31032 | 38901ed00ec3 |
parent 31031 | cbec39ebf8f2 |
child 31033 | c46d52fee219 |
1.1 --- a/src/HOL/Code_Message.thy Mon May 04 14:49:46 2009 +0200 1.2 +++ b/src/HOL/Code_Message.thy Mon May 04 14:49:47 2009 +0200 1.3 @@ -1,6 +1,4 @@ 1.4 -(* ID: $Id$ 1.5 - Author: Florian Haftmann, TU Muenchen 1.6 -*) 1.7 +(* Author: Florian Haftmann, TU Muenchen *) 1.8 1.9 header {* Monolithic strings (message strings) for code generation *} 1.10