Re: [isabelle] Isabelle/HOL - A Proof Assistant for Higher-Order Logic

Also this doi

For Stefan's "A constructive proof of Higman’s lemma in Isabelle" does currently not work... (as well as other, not Isabelle related, springer dois that I have used in the past).

Sorry for complaining on the Isabelle list... but I had to share my confusion and pain ;)



On 02/07/2013 12:42 PM, Christian Sternagel wrote:
(I was just checking all links in my ITP submission, again)

I usually use "Isabelle/HOL - A Proof Assistant for Higher-Order Logic"
as standard reference for Isabelle in my publications... until now the doi

worked. Currently it is not working but just points to

Also the "free preview" from

Just points to

No clue, whether this is just temporary... nevertheless, odd.



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