diff -r 6ab1c7cb0b8d -r 2b8b1a8587da CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Jun 28 09:16:42 2014 +0200
+++ b/CONTRIBUTORS	Sat Jun 28 11:44:22 2014 +0200
@@ -6,6 +6,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* June 2014: Florian Haftmann, TUM
+  Consolidation and generalization of facts concerning products (resp. sums)
+  on finite sets.
+
+* June 2014: Florian Haftmann, TUM
+  Internal reorganisation of the local theory / named target stack.
 
 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
   Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,