Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
authoreberlm <eberlm@in.tum.de>
Mon, 24 Oct 2016 13:50:12 +0200
changeset 64363 90ceace1e814
parent 64362 8a0fe5469ba0
child 64365 6694bd2b9b67
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
CONTRIBUTORS file | annotate | diff | comparison | revisions
NEWS file | annotate | diff | comparison | revisions 
--- 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
 -----------------------------
--- 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
isabelle