Re: [isabelle] Fwd: (no subject)



Conditional rewriting involves backtracking, and nobody complains about that.

Larry


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.