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.


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