CONTRIBUTORS
changeset 69785 9e326f6f8a24
parent 69568 de09a7261120
child 69790 154cf64e403e
     1.1 --- a/CONTRIBUTORS	Sat Feb 02 15:52:14 2019 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Feb 04 12:16:03 2019 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* February 2019: Manuel Eberl
     1.8 +  Carmichael's function, primitive roots in residue rings, more properties
     1.9 +  of the order in residue rings.
    1.10 +
    1.11  * January 2019: Andreas Lochbihler
    1.12    New implementation for case_of_simps based on Code_Lazy's
    1.13    pattern matching elimination algorithm.