# HG changeset patch
# User bauerg
# Date 974820332 -3600
# Node ID 470d06cc191abc8c48f5fdb192d6173e1970d8b6
# Parent  98fe9e987a17fa93570b7056f345d0beb391c8ea
;

diff -r 98fe9e987a17 -r 470d06cc191a src/HOL/Library/Ring_and_Field.thy
--- a/src/HOL/Library/Ring_and_Field.thy	Tue Nov 21 13:48:47 2000 +0100
+++ b/src/HOL/Library/Ring_and_Field.thy	Tue Nov 21 16:25:32 2000 +0100
@@ -1,11 +1,11 @@
 (*  Title:      HOL/Library/Ring_and_Field.thy
     ID:         $Id$
-    Author:     Gertrud Bauer, TU Muenchen
+    Author:     Gertrud Bauer and Markus Wenzel, TU Muenchen
 *)
 
 header {*
   \title{Ring and field structures}
-  \author{Gertrud Bauer}
+  \author{Gertrud Bauer and Markus Wenzel}
 *}
 
 theory Ring_and_Field = Main: