more CONTRIBUTORS;
authorwenzelm
Fri, 19 Mar 2021 13:22:12 +0100
changeset 73710 b134f9dbe4b7
parent 73709 a9e0fae0107d
child 73711 0cc9c2d43957
more CONTRIBUTORS;
CONTRIBUTORS
--- 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