--- a/CONTRIBUTORS Tue Mar 16 23:30:51 2021 +0100
+++ b/CONTRIBUTORS Wed Mar 17 22:24:57 2021 +0100
@@ -6,6 +6,9 @@
Contributions to this Isabelle version
--------------------------------------
+* March 2021: Simon Foster
+ More symbol definitions for Z Notation (Isabelle fonts and LaTeX).
+
* February 2021: Manuel Eberl
New material in HOL-Analysis/HOL-Probability, most notably Hoeffding's
inequality and the negative binomial distribution
@@ -16,6 +19,7 @@
* January 2021: Martin Rasyzk
Fast set operations for red-black trees.
+
Contributions to Isabelle2021
-----------------------------