--- 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,