src/HOL/Tools/string_code.ML
changeset 37744 3daaf23b9ab4
parent 33989 cb136b5f6050
child 37881 096c8397c989
--- a/src/HOL/Tools/string_code.ML	Thu Jul 08 16:19:23 2010 +0200
+++ b/src/HOL/Tools/string_code.ML	Thu Jul 08 16:19:24 2010 +0200
@@ -1,4 +1,5 @@
-(* Author: Florian Haftmann, TU Muenchen
+(*  Title:      HOL/Tools/string_code.ML
+    Author:     Florian Haftmann, TU Muenchen
 
 Code generation for character and string literals.
 *)