CONTRIBUTORS;
authorwenzelm
Wed Jul 30 21:40:19 2014 +0200 (2014-07-30)
changeset 57827abc60f963842
parent 57826 a01caa7145d4
child 57828 bf3bdb9240c2
CONTRIBUTORS;
CONTRIBUTORS
     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