src/HOL/Complex_Main.thy

--- a/src/HOL/Complex_Main.thy	Thu Jan 01 23:31:59 2009 +0100
+++ b/src/HOL/Complex_Main.thy	Fri Jan 02 00:21:59 2009 +0100
@@ -1,9 +1,4 @@
-(*  Title:      HOL/Complex_Main.thy
-    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
-    Copyright   2003  University of Cambridge
-*)
-
-header{*Comprehensive Complex Theory*}
+header {* Comprehensive Complex Theory *}
 
 theory Complex_Main
 imports