CONTRIBUTORS
changeset 58196 1b3fbfb85980
parent 58023 62826b36ac5e
child 58626 6c473ed0ac70
     1.1 --- a/CONTRIBUTORS	Sat Sep 06 20:12:32 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Sep 06 20:12:34 2014 +0200
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2014: Florian Haftmann, TUM
     1.8 +  Lexicographic order on functions and
     1.9 +  sum/product over function bodies.
    1.10 +
    1.11  * August 2014: Manuel Eberl, TUM
    1.12    Generic euclidean algorithms for gcd et al.
    1.13