Re: [isabelle] Fwd: (no subject)

Conditional rewriting involves backtracking, and nobody complains about that.


On 2 Mar 2006, at 16:49, John Matthews wrote:

Konrad writes:
Backtracking during rewriting seems a nightmare, on
both efficiency and understandability grounds, but maybe you have evidence to the contrary?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.