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 |