# HG changeset patch
# User wenzelm
# Date 1406749219 -7200
# Node ID abc60f963842e772ebc09df8bbec448190768008
# Parent  a01caa7145d48c3c35ee1b2330f87d5925a4386c
CONTRIBUTORS;

diff -r a01caa7145d4 -r abc60f963842 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Jul 30 16:44:54 2014 +0200
+++ b/CONTRIBUTORS	Wed Jul 30 21:40:19 2014 +0200
@@ -40,6 +40,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.