CONTRIBUTORS
changeset 63964 9f0308e80366
parent 63552 2112e5fe9712
child 64011 54b785efd547
     1.1 --- a/CONTRIBUTORS	Wed Jul 27 10:44:22 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Sep 29 20:54:46 2016 +0200
     1.3 @@ -30,6 +30,12 @@
     1.4    Algebraic foundation for primes; generalization from nat
     1.5    to general factorial rings
     1.6  
     1.7 +* September 2016: Sascha Boehme
     1.8 +  Proof method 'argo' based on SMT technology for a combination of
     1.9 +  quantifier-free propositional logic, equality and linear real
    1.10 +  arithmetic
    1.11 +
    1.12 +
    1.13  Contributions to Isabelle2016
    1.14  -----------------------------
    1.15