NEWS
changeset 64363 90ceace1e814
parent 64342 53fb4a19fb98
child 64389 6273d4c8325b
     1.1 --- a/NEWS	Sun Oct 23 16:44:17 2016 +0200
     1.2 +++ b/NEWS	Mon Oct 24 13:50:12 2016 +0200
     1.3 @@ -249,6 +249,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Ported remaining theories of Old_Number_Theory and removed Old_Number_Theory.
     1.8 +
     1.9  * Sligthly more standardized theorem names:
    1.10      sgn_times ~> sgn_mult
    1.11      sgn_mult' ~> Real_Vector_Spaces.sgn_mult