CONTRIBUTORS
changeset 61766 507b39df1a57
parent 61552 980dd46a03fb
child 61891 76189756ff65
     1.1 --- a/CONTRIBUTORS	Tue Dec 01 12:28:02 2015 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Dec 01 12:35:11 2015 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Autumn 2015: Andreas Lochbihler
     1.8 +  Bourbaki-Witt fixpoint theorem for increasing functions on
     1.9 +  chain-complete partial orders.
    1.10 +
    1.11  * Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl
    1.12    A large number of additional binomial identities.
    1.13