changeset 52485 | eed5cbe46f52 |
parent 52266 | 86d6f57c2c1e |
child 52503 | 750b63fa4c4e |
--- 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.