Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
authoreberlm <eberlm@in.tum.de>
Mon Oct 24 13:50:12 2016 +0200 (2016-10-24)
changeset 6436390ceace1e814
parent 64362 8a0fe5469ba0
child 64365 6694bd2b9b67
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Sun Oct 23 16:44:17 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 24 13:50:12 2016 +0200
     1.3 @@ -44,6 +44,9 @@
     1.4    quantifier-free propositional logic, equality and linear real
     1.5    arithmetic
     1.6  
     1.7 +* October 2016: Jaime Mendizabal Roche
     1.8 +  Ported remaining theories of Old_Number_Theory to the new 
     1.9 +  Number_Theory and removed Old_Number_Theory.
    1.10  
    1.11  Contributions to Isabelle2016
    1.12  -----------------------------
     2.1 --- a/NEWS	Sun Oct 23 16:44:17 2016 +0200
     2.2 +++ b/NEWS	Mon Oct 24 13:50:12 2016 +0200
     2.3 @@ -249,6 +249,8 @@
     2.4  
     2.5  *** HOL ***
     2.6  
     2.7 +* Ported remaining theories of Old_Number_Theory and removed Old_Number_Theory.
     2.8 +
     2.9  * Sligthly more standardized theorem names:
    2.10      sgn_times ~> sgn_mult
    2.11      sgn_mult' ~> Real_Vector_Spaces.sgn_mult