CONTRIBUTORS
changeset 69205 8050734eee3e
parent 68683 d69127c6e80f
child 69568 de09a7261120
     1.1 --- a/CONTRIBUTORS	Tue Oct 30 16:24:01 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Oct 30 16:24:04 2018 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* October 2018: Mathias Fleury
     1.8 +  Proof reconstruction for the SMT solver veriT in the smt method
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2018
    1.12  -----------------------------