CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Sep 29 20:54:45 2016 +0200
+++ b/CONTRIBUTORS	Thu Sep 29 20:54:46 2016 +0200
@@ -30,6 +30,12 @@
   Algebraic foundation for primes; generalization from nat
   to general factorial rings
 
+* September 2016: Sascha Boehme
+  Proof method 'argo' based on SMT technology for a combination of
+  quantifier-free propositional logic, equality and linear real
+  arithmetic
+
+
 Contributions to Isabelle2016
 -----------------------------