equal
deleted
inserted
replaced
24 "isabelle build". |
24 "isabelle build". |
25 |
25 |
26 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA |
26 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA |
27 Simproc for rewriting set comprehensions into pointfree expressions. |
27 Simproc for rewriting set comprehensions into pointfree expressions. |
28 |
28 |
|
29 * May 2012: Andreas Lochbihler, KIT |
|
30 Theory of almost everywhere constant functions. |
29 |
31 |
30 Contributions to Isabelle2012 |
32 Contributions to Isabelle2012 |
31 ----------------------------- |
33 ----------------------------- |
32 |
34 |
33 * April 2012: Johannes Hölzl, TUM |
35 * April 2012: Johannes Hölzl, TUM |