Wed, 20 Jun 2012 16:54:08 +0200 Integrated set comprehension pointfree simproc.
Rafal Kolanski <rafal.kolanski@nicta.com.au> [Wed, 20 Jun 2012 16:54:08 +0200] rev 48109
Integrated set comprehension pointfree simproc.
Tue, 19 Jun 2012 11:16:41 +0200 Improved tactic for rewriting set comprehensions into pointfree form.
Rafal Kolanski <rafal.kolanski@nicta.com.au> [Tue, 19 Jun 2012 11:16:41 +0200] rev 48108
Improved tactic for rewriting set comprehensions into pointfree form. Currently the simproc targets a term with an arbitrary number of conjuncts of form "x : S". The tactic should now handle all cases of this form.
Tue, 19 Jun 2012 11:18:09 +0200 Updated comment to reflect current state.
Rafal Kolanski <rafal.kolanski@nicta.com.au> [Tue, 19 Jun 2012 11:18:09 +0200] rev 48107
Updated comment to reflect current state.
Sun, 17 Jun 2012 20:38:12 +0200 clarifying comment
haftmann [Sun, 17 Jun 2012 20:38:12 +0200] rev 48106
clarifying comment
Mon, 18 Jun 2012 17:50:06 +0200 sound monotonicity inference in the presence of "aggressive" helpers
blanchet [Mon, 18 Jun 2012 17:50:06 +0200] rev 48105
sound monotonicity inference in the presence of "aggressive" helpers
Mon, 18 Jun 2012 17:50:06 +0200 less confusing error message
blanchet [Mon, 18 Jun 2012 17:50:06 +0200] rev 48104
less confusing error message
Mon, 18 Jun 2012 17:50:06 +0200 removed dead code
blanchet [Mon, 18 Jun 2012 17:50:06 +0200] rev 48103
removed dead code
Mon, 18 Jun 2012 15:48:43 +0200 class target handles additional non-class term parameters appropriately
haftmann [Mon, 18 Jun 2012 15:48:43 +0200] rev 48102
class target handles additional non-class term parameters appropriately
Tue, 12 Jun 2012 15:32:14 +0200 merged
Andreas Lochbihler [Tue, 12 Jun 2012 15:32:14 +0200] rev 48101
merged
Tue, 12 Jun 2012 15:31:53 +0200 add lemma to FinFun
Andreas Lochbihler [Tue, 12 Jun 2012 15:31:53 +0200] rev 48100
add lemma to FinFun
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip