Re: [isabelle] Verify the legitimacy of a proof?



> I am sure Manuel meant no disrespect. No doubt you were aware of this
> behaviour from the start. 
Indeed I only wanted to stress that I was definitely not the one to
discover this behaviour and that it has been well-known for some time,
and that I do not know anything beyond that.

Manuel





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