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



(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

  http://link.springer.com/

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






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