--- 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
-----------------------------
--- 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