Merge
authorpaulson <lp15@cam.ac.uk>
Mon Oct 24 14:32:07 2016 +0100 (2016-10-24)
changeset 643656694bd2b9b67
parent 64364 464420ba7f74
parent 64363 90ceace1e814
child 64377 c1db9e3fe0e2
Merge
     1.1 --- a/CONTRIBUTORS	Mon Oct 24 14:31:05 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Oct 24 14:32:07 2016 +0100
     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	Mon Oct 24 14:31:05 2016 +0100
     2.2 +++ b/NEWS	Mon Oct 24 14:32:07 2016 +0100
     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