# HG changeset patch
# User boehmes
# Date 1475175286 -7200
# Node ID 9f0308e80366b1855a15ce89e2c96ab9f5c2d7f2
# Parent  ed98a055b9a59608c9b46795023af7e2ba2fd222
CONTRIBUTORS: new proof method "argo"

diff -r ed98a055b9a5 -r 9f0308e80366 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
 -----------------------------