# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1477315927 -3600
# Node ID 6694bd2b9b676e4a9b3b2cd824fe4770f9bec01b
# Parent  464420ba7f74e27f5aaf960a5b7921ab8e69e597# Parent  90ceace1e814b6d4586e15189b5e539d4c866ba3
Merge

diff -r 464420ba7f74 -r 6694bd2b9b67 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Oct 24 14:31:05 2016 +0100
+++ b/CONTRIBUTORS	Mon Oct 24 14:32:07 2016 +0100
@@ -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 464420ba7f74 -r 6694bd2b9b67 NEWS
--- a/NEWS	Mon Oct 24 14:31:05 2016 +0100
+++ b/NEWS	Mon Oct 24 14:32:07 2016 +0100
@@ -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