NEWS
changeset 69785 9e326f6f8a24
parent 69780 b9a5805d1d70
child 69790 154cf64e403e
     1.1 --- a/NEWS	Sat Feb 02 15:52:14 2019 +0100
     1.2 +++ b/NEWS	Mon Feb 04 12:16:03 2019 +0100
     1.3 @@ -87,6 +87,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* more material on residue rings in HOL-Number_Theory:
     1.8 +Carmichael's function, primitive roots, more properties for "ord"
     1.9 +
    1.10  * the functions \<Union>, \<Inter>, \<Squnion>, \<Sqinter>
    1.11  (not the corresponding binding operators) now have the same precedence
    1.12  as any other prefix function symbol.