CONTRIBUTORS
changeset 69568 de09a7261120
parent 69205 8050734eee3e
child 69785 9e326f6f8a24
     1.1 --- a/CONTRIBUTORS	Sun Dec 30 10:30:41 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 01 17:04:53 2019 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* January 2019: Andreas Lochbihler
     1.8 +  New implementation for case_of_simps based on Code_Lazy's
     1.9 +  pattern matching elimination algorithm.
    1.10 +
    1.11  * October 2018: Mathias Fleury
    1.12    Proof reconstruction for the SMT solver veriT in the smt method
    1.13