equal
deleted
inserted
replaced
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 |
9 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA |
10 Simproc for rewriting set comprehensions into pointfree expressions |
10 Simproc for rewriting set comprehensions into pointfree expressions |
|
11 |
11 |
12 |
12 Contributions to Isabelle2012 |
13 Contributions to Isabelle2012 |
13 ----------------------------- |
14 ----------------------------- |
14 |
15 |
15 * April 2012: Johannes Hölzl, TUM |
16 * April 2012: Johannes Hölzl, TUM |