updated URL;
Sat, 02 Aug 2014 23:20:49 +0200
changeset 57847 85b8cc142384
parent 57846 7cbb28332896
child 57848 f68cda7c85d4
updated URL;
--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Sat Aug 02 21:22:28 2014 +0200
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Sat Aug 02 23:20:49 2014 +0200
@@ -76,12 +76,12 @@
 If you want to apply what you have learned about Isabelle we recommend you
 donwload and read the book
 Semantics}~\cite{ConcreteSemantics}, a guided tour of the wonderful world of
 programming langage semantics formalised in Isabelle.  In fact,
 \emph{Programming and Proving in Isabelle/HOL} constitutes part~I of
-\href{http://www.in.tum.de/~nipkow/Concrete/}{Concrete Semantics}.  The web
-pages for \href{http://www.in.tum.de/~nipkow/Concrete/}{Concrete Semantics}
+\href{http://www.concrete-semantics.org}{Concrete Semantics}.  The web
+pages for \href{http://www.concrete-semantics.org}{Concrete Semantics}
 also provide a set of \LaTeX-based slides for teaching \emph{Programming and
 Proving in Isabelle/HOL}.