CONTRIBUTORS
changeset 69785 9e326f6f8a24
parent 69568 de09a7261120
child 69790 154cf64e403e
equal deleted inserted replaced
69784:24bbc4e30e5b 69785:9e326f6f8a24
     3 listed as an author in one of the source files of this Isabelle distribution.
     3 listed as an author in one of the source files of this Isabelle distribution.
     4 
     4 
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
       
     8 
       
     9 * February 2019: Manuel Eberl
       
    10   Carmichael's function, primitive roots in residue rings, more properties
       
    11   of the order in residue rings.
     8 
    12 
     9 * January 2019: Andreas Lochbihler
    13 * January 2019: Andreas Lochbihler
    10   New implementation for case_of_simps based on Code_Lazy's
    14   New implementation for case_of_simps based on Code_Lazy's
    11   pattern matching elimination algorithm.
    15   pattern matching elimination algorithm.
    12 
    16