CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Oct 24 21:14:38 2016 +0200
+++ b/CONTRIBUTORS	Mon Oct 24 22:42:07 2016 +0200
@@ -48,6 +48,10 @@
   Ported remaining theories of Old_Number_Theory to the new 
   Number_Theory and removed Old_Number_Theory.
 
+* October 2016: Jasmin Blanchette
+  Integration of Nunchaku model finder.
+
+
 Contributions to Isabelle2016
 -----------------------------