CONTRIBUTORS
changeset 57474 250decee4ac5
parent 57452 ecad2a53755a
child 57513 55b2afc5ddfc
     1.1 --- a/CONTRIBUTORS	Tue Jul 01 16:26:14 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Jul 01 16:08:31 2014 +0100
     1.3 @@ -32,6 +32,9 @@
     1.4    Permanent interpretation inside theory, locale and class targets
     1.5    with mixin definitions.
     1.6  
     1.7 +* Spring 2014: Lawrence C Paulson, Cambridge
     1.8 +  Theory Complex_Basic_Analysis. Tidying up Number_Theory vs Old_Number_Theory
     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