1.1 --- a/CONTRIBUTORS	Sun Apr 15 14:50:09 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Apr 15 14:51:15 2012 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4    (Re-)Introduction of the "set" type constructor.
     1.5  
     1.6  * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.7 +  Various refinements of local theory infrastructure.
     1.8    Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE.
     1.9  
    1.10