diff -r 6b4c41037649 -r de09a7261120 CONTRIBUTORS
--- 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