CONTRIBUTORS
changeset 61891 76189756ff65
parent 61766 507b39df1a57
child 62016 740c70a21523
     1.1 --- a/CONTRIBUTORS	Sat Dec 19 11:05:04 2015 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Dec 19 17:03:17 2015 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Autumn 2015: Florian Haftmann, TUM
     1.8 +  Rewrite definitions for global interpretations and
     1.9 +  sublocale declarations.
    1.10 +
    1.11  * Autumn 2015: Andreas Lochbihler
    1.12    Bourbaki-Witt fixpoint theorem for increasing functions on
    1.13    chain-complete partial orders.