Email Gateway (Aug 19 2022 at 10:28): Email Gateway (Aug 19 2022 at 10:28):From: Christian Sternagel <c.sternagel@gmail.com>
(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
http://dx.doi.org/10.1007/3-540-45949-9
worked. Currently it is not working but just points to
Also the "free preview" from
http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-43376-7
Just points to http://link.springer.com/
No clue, whether this is just temporary... nevertheless, odd.
cheers
chris
Email Gateway (Aug 19 2022 at 10:28):From: Christian Sternagel <c.sternagel@gmail.com>
Also this doi
http://dx.doi.org/10.1007/978-3-540-24849-1_5
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 ;)
cheers
chris
Last updated: Apr 27 2024 at 01:05 UTC