# HG changeset patch
# User eberlm <eberlm@in.tum.de>
# Date 1477309812 -7200
# Node ID 90ceace1e814b6d4586e15189b5e539d4c866ba3
# Parent  8a0fe5469ba08e00d729cef19c57f7408716f902
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory

diff -r 8a0fe5469ba0 -r 90ceace1e814 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
 -----------------------------
diff -r 8a0fe5469ba0 -r 90ceace1e814 NEWS
--- a/NEWS	Sun Oct 23 16:44:17 2016 +0200
+++ b/NEWS	Mon Oct 24 13:50:12 2016 +0200
@@ -249,6 +249,8 @@
 
 *** HOL ***
 
+* Ported remaining theories of Old_Number_Theory and removed Old_Number_Theory.
+
 * Sligthly more standardized theorem names:
     sgn_times ~> sgn_mult
     sgn_mult' ~> Real_Vector_Spaces.sgn_mult