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