CONTRIBUTORS
changeset 62064 d9874039786e
parent 62060 b75764fc4c35
child 62083 7582b39f51ed
     1.1 --- a/CONTRIBUTORS	Tue Jan 05 15:45:29 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 05 15:53:17 2016 +0100
     1.3 @@ -8,40 +8,37 @@
     1.4  
     1.5  * Winter 2015: Manuel Eberl, TUM
     1.6    The radius of convergence of power series and various summability tests.
     1.7 -  Harmonic numbers and the Euler–Mascheroni constant.
     1.8 +  Harmonic numbers and the Euler-Mascheroni constant.
     1.9    The Generalised Binomial Theorem.
    1.10 -  The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and 
    1.11 -  their most important properties.
    1.12 +  The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their
    1.13 +  most important properties.
    1.14  
    1.15  * Autumn 2015: Florian Haftmann, TUM
    1.16 -  Rewrite definitions for global interpretations and sublocale
    1.17 -  declarations.
    1.18 +  Rewrite definitions for global interpretations and sublocale declarations.
    1.19  
    1.20  * Autumn 2015: Andreas Lochbihler
    1.21 -  Bourbaki-Witt fixpoint theorem for increasing functions on
    1.22 -  chain-complete partial orders.
    1.23 +  Bourbaki-Witt fixpoint theorem for increasing functions on chain-complete
    1.24 +  partial orders.
    1.25  
    1.26  * Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl
    1.27    A large number of additional binomial identities.
    1.28  
    1.29  * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
    1.30 -  Isar subgoal command for proof structure within unstructured proof
    1.31 -  scripts.
    1.32 +  Isar subgoal command for proof structure within unstructured proof scripts.
    1.33  
    1.34  * Summer 2015: Florian Haftmann, TUM
    1.35    Generic partial division in rings as inverse operation of multiplication.
    1.36  
    1.37  * Summer 2015: Manuel Eberl and Florian Haftmann, TUM
    1.38 -  Type class hierarchy with common algebraic notions of integral
    1.39 -  (semi)domains like units, associated elements and normalization
    1.40 -  wrt. units.
    1.41 +  Type class hierarchy with common algebraic notions of integral (semi)domains
    1.42 +  like units, associated elements and normalization wrt. units.
    1.43  
    1.44  * Summer 2015: Florian Haftmann, TUM
    1.45    Fundamentals of abstract type class for factorial rings.
    1.46  
    1.47  * Summer 2015: Julian Biendarra, TUM and Dmitriy Traytel, ETH Zurich
    1.48 -  Command to lift a BNF structure on the raw type to the abstract type
    1.49 -  for typedefs.
    1.50 +  Command to lift a BNF structure on the raw type to the abstract type for
    1.51 +  typedefs.
    1.52  
    1.53  
    1.54  Contributions to Isabelle2015