--- a/CONTRIBUTORS Fri Mar 19 12:35:55 2021 +0100
+++ b/CONTRIBUTORS Fri Mar 19 13:22:12 2021 +0100
@@ -6,8 +6,8 @@
Contributions to this Isabelle version
--------------------------------------
-* March 2021: Simon Foster
- More symbol definitions for Z Notation (Isabelle fonts and LaTeX).
+* March 2021: Simon Foster and Leo Freitas
+ More symbol definitions for Z Notation: Isabelle fonts and LaTeX macros.
* February 2021: Manuel Eberl
New material in HOL-Analysis/HOL-Probability, most notably Hoeffding's