CONTRIBUTORS
changeset 48111 33414f2e82ab
parent 47887 4e9c06c194d9
child 48124 87c831e30f0a
     1.1 --- a/CONTRIBUTORS	Thu Jun 21 12:33:27 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jun 21 13:51:44 2012 +0200
     1.3 @@ -6,6 +6,8 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
     1.8 +  Simproc for rewriting set comprehensions into pointfree expressions
     1.9  
    1.10  Contributions to Isabelle2012
    1.11  -----------------------------