# 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: