| Tue, 19 Jun 2012 11:16:41 +0200 | Rafal Kolanski | Improved tactic for rewriting set comprehensions into pointfree form. | changeset | files |
| Tue, 19 Jun 2012 11:18:09 +0200 | Rafal Kolanski | Updated comment to reflect current state. | changeset | files |
| Sun, 17 Jun 2012 20:38:12 +0200 | haftmann | clarifying comment | changeset | files |
| Mon, 18 Jun 2012 17:50:06 +0200 | blanchet | sound monotonicity inference in the presence of "aggressive" helpers | changeset | files |
| Mon, 18 Jun 2012 17:50:06 +0200 | blanchet | less confusing error message | changeset | files |
| Mon, 18 Jun 2012 17:50:06 +0200 | blanchet | removed dead code | changeset | files |
| Mon, 18 Jun 2012 15:48:43 +0200 | haftmann | class target handles additional non-class term parameters appropriately | changeset | files |
| Tue, 12 Jun 2012 15:32:14 +0200 | Andreas Lochbihler | merged | changeset | files |