diff -r 1b02a6c4032f -r 8abfb4f7bd02 src/HOL/GroupTheory/Ring.thy
--- a/src/HOL/GroupTheory/Ring.thy	Tue Jul 24 11:25:54 2001 +0200
+++ b/src/HOL/GroupTheory/Ring.thy	Wed Jul 25 13:13:01 2001 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/GroupTheory/Bij
+(*  Title:      HOL/GroupTheory/Ring
     ID:         $Id$
     Author:     Florian Kammueller, with new proofs by L C Paulson
     Copyright   1998-2001  University of Cambridge