equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
|
9 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA |
|
10 Simproc for rewriting set comprehensions into pointfree expressions |
9 |
11 |
10 Contributions to Isabelle2012 |
12 Contributions to Isabelle2012 |
11 ----------------------------- |
13 ----------------------------- |
12 |
14 |
13 * April 2012: Johannes Hölzl, TUM |
15 * April 2012: Johannes Hölzl, TUM |