# HG changeset patch
# User haftmann
# Date 1244581194 -7200
# Node ID c96d7e5df6590cb50eca39ace0fe360db2082a8f
# Parent  bd2f7211a420fb56ca9d7d4a22704d2f9775d107
tuned whitespace

diff -r bd2f7211a420 -r c96d7e5df659 src/HOL/Library/Enum.thy
--- 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 *}