CONTRIBUTORS
changeset 64389 6273d4c8325b
parent 64363 90ceace1e814
child 64393 17a7543fadad
     1.1 --- a/CONTRIBUTORS	Mon Oct 24 21:14:38 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 24 22:42:07 2016 +0200
     1.3 @@ -48,6 +48,10 @@
     1.4    Ported remaining theories of Old_Number_Theory to the new 
     1.5    Number_Theory and removed Old_Number_Theory.
     1.6  
     1.7 +* October 2016: Jasmin Blanchette
     1.8 +  Integration of Nunchaku model finder.
     1.9 +
    1.10 +
    1.11  Contributions to Isabelle2016
    1.12  -----------------------------
    1.13