| Wed, 10 Oct 2012 10:48:17 +0200 | bulwahn | test case for set_comprehension_pointfree simproc succeeds now | file | diff | annotate |
| Wed, 10 Oct 2012 10:41:18 +0200 | bulwahn | adding some example that motivates some of the current changes in the set_comprehension_pointfree simproc | file | diff | annotate |
| Mon, 02 Jul 2012 11:39:24 +0200 | bulwahn | adding a challenging example in the examples file | file | diff | annotate |
| Wed, 20 Jun 2012 16:54:08 +0200 | Rafal Kolanski | Integrated set comprehension pointfree simproc. | file | diff | annotate |
| Tue, 19 Jun 2012 11:16:41 +0200 | Rafal Kolanski | Improved tactic for rewriting set comprehensions into pointfree form. | file | diff | annotate |
| Fri, 01 Jun 2012 12:45:22 +0200 | wenzelm | tuned header; | file | diff | annotate |
| Mon, 28 May 2012 02:18:46 +0200 | bulwahn | adding incompleted simproc to rewrite set comprehensions into pointfree expressions on sets | file | diff | annotate |