--- a/CONTRIBUTORS Mon Feb 10 23:04:45 2020 +0100
+++ b/CONTRIBUTORS Tue Feb 11 12:55:35 2020 +0000
@@ -16,6 +16,14 @@
* October 2019: Maximilian Schäffeler
Port of the HOL Light decision procedure for metric spaces.
+* January 2020: LC Paulson
+ The full finite Ramsey's theorem and elements of finite and infinite
+ Ramsey theory.
+
+* February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf
+ Simplified, generalised version of ZF/Constructible.
+
+
Contributions to Isabelle2019
-----------------------------