changeset 11451 | 8abfb4f7bd02 |
parent 11448 | aa519e0cc050 |
child 12459 | 6978ab7cac64 |
--- 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