diff -r 1acde8c39179 -r 78b75a9eec01 src/HOL/Ring_and_Field.thy
--- a/src/HOL/Ring_and_Field.thy	Thu Apr 15 13:04:50 2004 +0200
+++ b/src/HOL/Ring_and_Field.thy	Thu Apr 15 14:17:45 2004 +0200
@@ -5,10 +5,7 @@
     License: GPL (GNU GENERAL PUBLIC LICENSE)
 *)
 
-header {*
-  \title{Ring and field structures}
-  \author{Gertrud Bauer, L. C. Paulson and Markus Wenzel}
-*}
+header {* Ring and field structures *}
 
 theory Ring_and_Field = Inductive: