src/HOL/Library/Saturated.thy

--- a/src/HOL/Library/Saturated.thy	Wed Nov 30 12:09:29 2011 +0100
+++ b/src/HOL/Library/Saturated.thy	Wed Nov 30 16:03:18 2011 +0100
@@ -1,6 +1,8 @@
-(* Author: Brian Huffman *)
-(* Author: Peter Gammie *)
-(* Author: Florian Haftmann *)
+(*  Title:      HOL/Library/Saturated.thy
+    Author:     Brian Huffman
+    Author:     Peter Gammie
+    Author:     Florian Haftmann
+*)
 
 header {* Saturated arithmetic *}