changeset 48124 | 87c831e30f0a |
parent 48111 | 33414f2e82ab |
child 48585 | a82910dd2270 |
--- a/CONTRIBUTORS Mon Jun 25 14:21:32 2012 +0200 +++ b/CONTRIBUTORS Mon Jun 25 15:14:07 2012 +0200 @@ -9,6 +9,7 @@ * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA Simproc for rewriting set comprehensions into pointfree expressions + Contributions to Isabelle2012 -----------------------------