Mon, 25 Jun 2012 18:21:18 +0200 | wenzelm | merged, resolving conflict with 87c831e30f0a; | file | diff | annotate |
Mon, 25 Jun 2012 15:14:07 +0200 | wenzelm | ignore morphism more explicitly; | file | diff | annotate |
Mon, 25 Jun 2012 16:03:14 +0200 | bulwahn | adding set comprehension simproc to code generation's preprocessing to generate code for some set comprehensions; | file | diff | annotate |
Wed, 20 Jun 2012 16:54:08 +0200 | Rafal Kolanski | Integrated set comprehension pointfree simproc. | file | diff | annotate | base |