CONTRIBUTORS
changeset 57419 2b8b1a8587da
parent 57254 d3d91422f408
child 57452 ecad2a53755a
equal deleted inserted replaced
57418:6ab1c7cb0b8d 57419:2b8b1a8587da
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
     8 
     8 
       
     9 * June 2014: Florian Haftmann, TUM
       
    10   Consolidation and generalization of facts concerning products (resp. sums)
       
    11   on finite sets.
       
    12 
       
    13 * June 2014: Florian Haftmann, TUM
       
    14   Internal reorganisation of the local theory / named target stack.
     9 
    15 
    10 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
    16 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
    11   Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
    17   Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
    12   Waldmeister, etc.).
    18   Waldmeister, etc.).
    13 
    19