--- a/CONTRIBUTORS Sun Jan 10 15:32:28 2021 +0100
+++ b/CONTRIBUTORS Sun Jan 10 15:35:24 2021 +0100
@@ -7,10 +7,10 @@
-----------------------------
* January 2021: Manuel Eberl
- Characteristic of a semiring
+ Characteristic of a semiring.
* January 2021: Manuel Eberl
- Algebraic integers in HOL-Computational_Algebra
+ Algebraic integers in HOL-Computational_Algebra.
* December 2020: Stepan Holub
Contributed lemmas for theory HOL.List.
--- a/NEWS Sun Jan 10 15:32:28 2021 +0100
+++ b/NEWS Sun Jan 10 15:35:24 2021 +0100
@@ -361,8 +361,6 @@
-
-
New in Isabelle2020 (April 2020)
--------------------------------