--- a/CONTRIBUTORS Sun Aug 10 14:31:06 2014 +0200
+++ b/CONTRIBUTORS Sun Aug 10 14:34:43 2014 +0200
@@ -19,13 +19,13 @@
semigroups and monoids, particularly 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, Waldmeister, etc.).
+* June 2014: Florian Haftmann, TUM
+ Internal reorganisation of the local theory / named target stack.
+
* June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM
Various properties of exponentially, Erlang, and normal distributed
random variables.
@@ -44,6 +44,9 @@
* Spring 2014: Lawrence C Paulson, Cambridge
Theory Complex_Basic_Analysis. Tidying up Number_Theory vs Old_Number_Theory
+* Winter 2013 and Spring 2014: Ondrej Kuncar, TUM
+ Various improvements to Lifting/Transfer, integration with the BNF package.
+
* Winter 2013 and Spring 2014: Makarius Wenzel, Université Paris-Sud / LRI
Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.