CONTRIBUTORS
changeset 59980 070f04c94b2e
parent 59813 6320064f22bb
child 60012 0c307c5c03f0
     1.1 --- a/CONTRIBUTORS	Wed Mar 25 17:51:34 2015 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Apr 08 23:00:09 2015 +0200
     1.3 @@ -6,21 +6,24 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII, and Dmitriy Traytel, TUM
     1.8 +* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
     1.9 +  and Dmitriy Traytel, TUM
    1.10    More multiset theorems, syntax, and operations.
    1.11  
    1.12 -* December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM and Jeremy Avigad, Luke Serafin, CMU
    1.13 -  Various integration theorems: mostly integration on intervals and substitution.
    1.14 +* December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM, and
    1.15 +  Jeremy Avigad, Luke Serafin, CMU
    1.16 +  Various integration theorems: mostly integration on intervals and
    1.17 +  substitution.
    1.18  
    1.19  * September 2014: Florian Haftmann, TUM
    1.20    Lexicographic order on functions and
    1.21    sum/product over function bodies.
    1.22  
    1.23  * August 2014: Andreas Lochbihler, ETH Zurich
    1.24 -  Test infrastructure for executing generated code in target langauges
    1.25 +  Test infrastructure for executing generated code in target languages.
    1.26  
    1.27  * August 2014: Manuel Eberl, TUM
    1.28 -  Generic euclidean algorithms for gcd et al.
    1.29 +  Generic euclidean algorithms for GCD et al.
    1.30  
    1.31  
    1.32  Contributions to Isabelle2014