--- a/src/HOL/Tools/list_code.ML Thu Jul 08 16:19:23 2010 +0200
+++ b/src/HOL/Tools/list_code.ML Thu Jul 08 16:19:24 2010 +0200
@@ -1,4 +1,5 @@
-(* Author: Florian Haftmann, TU Muenchen
+(* Title: HOL/Tools/list_code.ML
+ Author: Florian Haftmann, TU Muenchen
Code generation for list literals.
*)