After my work on Predicates, I've made another attempt at replacing the
old assumption system with the new one and the results are encouraging.
After a few more relatively simple changes to the assumptions system -
that make it significantly more powerful - it appears that it's possible
to complete
On Mon, May 17, 2010 at 10:31 PM, Ronan Lamy wrote:
> After my work on Predicates, I've made another attempt at replacing the
> old assumption system with the new one and the results are encouraging.
> After a few more relatively simple changes to the assumptions system -
> that make it significan