changeset 53622 | eed5cbe46f52 |
parent 53403 | 86d6f57c2c1e |
child 53640 | 750b63fa4c4e |
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