CONTRIBUTORS
changeset 61891 76189756ff65
parent 61766 507b39df1a57
child 62016 740c70a21523
equal deleted inserted replaced
61890:f6ded81f5690 61891:76189756ff65
     3 who is listed as an author in one of the source files of this Isabelle
     3 who is listed as an author in one of the source files of this Isabelle
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
       
     8 
       
     9 * Autumn 2015: Florian Haftmann, TUM
       
    10   Rewrite definitions for global interpretations and
       
    11   sublocale declarations.
     8 
    12 
     9 * Autumn 2015: Andreas Lochbihler
    13 * Autumn 2015: Andreas Lochbihler
    10   Bourbaki-Witt fixpoint theorem for increasing functions on
    14   Bourbaki-Witt fixpoint theorem for increasing functions on
    11   chain-complete partial orders.
    15   chain-complete partial orders.
    12 
    16