# HG changeset patch
# User haftmann
# Date 1372577160 -7200
# Node ID eed5cbe46f52aa81789ba5c64cb1e0fe601302ba
# Parent  23a09c6397003d42392ba2fd8bdb5d727c24183b
CONTRIBUTORS

diff -r 23a09c639700 -r eed5cbe46f52 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Jun 29 22:15:10 2013 +0200
+++ b/CONTRIBUTORS	Sun Jun 30 09:26:00 2013 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2013: Florian Haftmann, TUM
+  Ephemeral interpretation in local theories.
+
 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
   HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment.