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