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 |