CONTRIBUTORS
changeset 67831 07f5588f2735
parent 67456 7895c159d7b1
child 67928 7f5b1b6f7f40
     1.1 --- a/CONTRIBUTORS	Mon Mar 12 20:53:29 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Mar 12 21:03:57 2018 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2018: Viorel Preoteasa
     1.8 +  Generalisation of complete_distrib_lattice
     1.9 +
    1.10  * January 2018: Sebastien Gouezel
    1.11    Various small additions to HOL-Analysis
    1.12