Re: [isabelle] sorry in innocent blue?
Is a "poof" a proof that is is almost complete but not quite *r*ight
because of a wrong detail? Or does it express that the proof suddenly
disappeared ("poof", and my "proof" was gone)?
If this is a neologism, which I suspect it is, then I must definitely
complement you on its originality :-)
On 13.05.2014 10:39, Tobias Nipkow wrote:
I just spent more than half an hour trying to figure out where the problem with
my (long) poof was after I had discovered that the proposition was definitely
not true. Eventually I found a single sorry was left, attached to a wrong claim.
If sorry - which is definietly dangerous - had a dangerous colour, I would have
spotted it more quickly.
This archive was generated by a fusion of
Pipermail (Mailman edition) and