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 http://link.springer.com/
No clue, whether this is just temporary... nevertheless, odd.
This archive was generated by a fusion of
Pipermail (Mailman edition) and