Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTORS
authorhaftmann
Sun, 30 Jun 2013 09:26:00 +0200
changeset 52485 eed5cbe46f52
parent 52484 23a09c639700
child 52486 b1565e37678b
CONTRIBUTORS
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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.
isabelle