CONTRIBUTORS
authorhaftmann
Sat Jun 28 11:44:22 2014 +0200 (2014-06-28)
changeset 574192b8b1a8587da
parent 57418 6ab1c7cb0b8d
child 57422 2f4948579905
CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sat Jun 28 09:16:42 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Jun 28 11:44:22 2014 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* June 2014: Florian Haftmann, TUM
     1.8 +  Consolidation and generalization of facts concerning products (resp. sums)
     1.9 +  on finite sets.
    1.10 +
    1.11 +* June 2014: Florian Haftmann, TUM
    1.12 +  Internal reorganisation of the local theory / named target stack.
    1.13  
    1.14  * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
    1.15    Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,