Admin/Benchmarks/HOL-record/RecordBenchmark.thy

--- a/Admin/Benchmarks/HOL-record/RecordBenchmark.thy	Sun Nov 15 13:06:42 2009 +0100
+++ b/Admin/Benchmarks/HOL-record/RecordBenchmark.thy	Sun Nov 15 15:13:31 2009 +0100
@@ -1,6 +1,5 @@
 (*  Title:      Admin/Benchmarks/HOL-record/RecordBenchmark.thy
-    Author:     Norbert Schirmer
-                DFKI
+    Author:     Norbert Schirmer, DFKI
 *)
 
 header {* Benchmark for large record *}
@@ -393,5 +392,4 @@
   done
 
 
-
 end
\ No newline at end of file