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 MHonArc.