Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
;
authorbauerg
Tue, 21 Nov 2000 16:25:32 +0100
changeset 10502 470d06cc191a
parent 10501 98fe9e987a17
child 10503 c9d087e4a5e8
;
src/HOL/Library/Ring_and_Field.thy file | annotate | diff | comparison | revisions 
--- 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:
isabelle