1.1 --- a/CONTRIBUTORS	Sat Jun 29 22:15:10 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Jun 30 09:26:00 2013 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* May 2013: Florian Haftmann, TUM
     1.8 +  Ephemeral interpretation in local theories.
     1.9 +
    1.10  * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
    1.11    HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment.
    1.12