--- a/src/HOL/Library/Enum.thy Tue Jun 09 22:59:54 2009 +0200
+++ b/src/HOL/Library/Enum.thy Tue Jun 09 22:59:54 2009 +0200
@@ -1,5 +1,4 @@
-(* Author: Florian Haftmann, TU Muenchen
-*)
+(* Author: Florian Haftmann, TU Muenchen *)
header {* Finite types as explicit enumerations *}