src/HOL/Algebra/Ring.thy
changeset 68552 391e89e03eef
parent 68551 b680e74eb6f2
child 68582 b9b9e2985878
     1.1 --- a/src/HOL/Algebra/Ring.thy	Sat Jun 30 15:44:04 2018 +0100
     1.2 +++ b/src/HOL/Algebra/Ring.thy	Sat Jun 30 18:58:13 2018 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4  (*  Title:      HOL/Algebra/Ring.thy
     1.5      Author:     Clemens Ballarin, started 9 December 1996
     1.6 -    Copyright:  Clemens Ballarin
     1.7 +
     1.8 +With contributions by Martin Baillon
     1.9  *)
    1.10  
    1.11  theory Ring