CONTRIBUTORS
changeset 62652 7248d106c607
parent 62499 4a5b81ff5992
child 62693 0ae225877b68
     1.1 --- a/CONTRIBUTORS	Thu Mar 17 14:48:14 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Mar 18 08:01:49 2016 +0100
     1.3 @@ -13,6 +13,9 @@
     1.4  * March 2016: Florian Haftmann
     1.5    Abstract factorial rings with unique factorization.
     1.6  
     1.7 +* March 2016: Andreas Lochbihler
     1.8 +  Reasoning support for monotonicity, continuity and
     1.9 +  admissibility in chain-complete partial orders.
    1.10  
    1.11  Contributions to Isabelle2016
    1.12  -----------------------------