CONTRIBUTORS
changeset 57882 38bf4de248a6
parent 57695 987c9ceeaafd
parent 57875 4ee24ee8055b
child 58023 62826b36ac5e
     1.1 --- a/CONTRIBUTORS	Sun Aug 10 14:31:06 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Aug 10 14:34:43 2014 +0200
     1.3 @@ -19,13 +19,13 @@
     1.4    semigroups and monoids, particularly products (resp. sums) on
     1.5    finite sets.
     1.6  
     1.7 -* June 2014: Florian Haftmann, TUM
     1.8 -  Internal reorganisation of the local theory / named target stack.
     1.9 -
    1.10  * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
    1.11    Work on exotic automatic theorem provers for Sledgehammer (LEO-II,
    1.12    veriT, Waldmeister, etc.).
    1.13  
    1.14 +* June 2014: Florian Haftmann, TUM
    1.15 +  Internal reorganisation of the local theory / named target stack.
    1.16 +
    1.17  * June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM
    1.18    Various properties of exponentially, Erlang, and normal distributed
    1.19    random variables.
    1.20 @@ -44,6 +44,9 @@
    1.21  * Spring 2014: Lawrence C Paulson, Cambridge
    1.22    Theory Complex_Basic_Analysis. Tidying up Number_Theory vs Old_Number_Theory
    1.23  
    1.24 +* Winter 2013 and Spring 2014: Ondrej Kuncar, TUM
    1.25 +  Various improvements to Lifting/Transfer, integration with the BNF package.
    1.26 +
    1.27  * Winter 2013 and Spring 2014: Makarius Wenzel, Université Paris-Sud / LRI
    1.28    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
    1.29