Re: [isabelle] Continuing with a proof after a failed 'done'

Hi Andreas,

> Just insert a "sorry" after the failing "done" and you can go on.

of course, that's a possibility, but I don't understand why 'done' and
'by' behave differently there in the first place.


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