CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Oct 23 16:44:17 2016 +0200
+++ b/CONTRIBUTORS	Mon Oct 24 13:50:12 2016 +0200
@@ -44,6 +44,9 @@
   quantifier-free propositional logic, equality and linear real
   arithmetic
 
+* October 2016: Jaime Mendizabal Roche
+  Ported remaining theories of Old_Number_Theory to the new 
+  Number_Theory and removed Old_Number_Theory.
 
 Contributions to Isabelle2016
 -----------------------------