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  -----------------------------

     2.1 --- a/NEWS	Thu Jun 21 12:33:27 2012 +0200
     2.2 +++ b/NEWS	Thu Jun 21 13:51:44 2012 +0200
     2.3 @@ -19,6 +19,8 @@
     2.4  
     2.5  *** HOL ***
     2.6  
     2.7 +* Simproc for rewriting set comprehensions into pointfree expressions
     2.8 +
     2.9  * Quickcheck:
    2.10  
    2.11    - added an optimisation for equality premises.