--- a/CONTRIBUTORS Sat Oct 02 20:27:13 2021 +0200
+++ b/CONTRIBUTORS Sat Oct 02 20:28:30 2021 +0200
@@ -3,8 +3,8 @@
listed as an author in one of the source files of this Isabelle distribution.
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2021-1
+-------------------------------
* July 2021: Florian Haftmann
Further consolidation of bit operations and word types.
@@ -16,7 +16,7 @@
More context situations susceptible to global_interpretation.
* March 2021: Lukas Stevens
- New order prover
+ New order prover.
* March 2021: Florian Haftmann
Dedicated session for combinatorics.