1.1 --- a/CONTRIBUTORS Wed Jul 30 16:44:54 2014 +0200
1.2 +++ b/CONTRIBUTORS Wed Jul 30 21:40:19 2014 +0200
1.3 @@ -40,6 +40,9 @@
1.4 * Spring 2014: Lawrence C Paulson, Cambridge
1.5 Theory Complex_Basic_Analysis. Tidying up Number_Theory vs Old_Number_Theory
1.6
1.7 +* Winter 2013 and Spring 2014: Ondrej Kuncar, TUM
1.8 + Various improvements to Lifting/Transfer, integration with the BNF package.
1.9 +
1.10 * Winter 2013 and Spring 2014: Makarius Wenzel, Université Paris-Sud / LRI
1.11 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
1.12