--- a/src/HOL/NanoJava/document/root.tex Wed Jul 18 12:21:55 2018 +0200
+++ b/src/HOL/NanoJava/document/root.tex Wed Jul 18 16:44:01 2018 +0200
@@ -36,7 +36,7 @@
implements a new approach for handling auxiliary variables.
A more complex Hoare logic covering a much larger subset of Java is described
in \cite{DvO-CPE01}.\\
-See also the homepage of project Bali at \url{http://isabelle.in.tum.de/Bali/}
+See also the homepage of project Bali at \url{https://isabelle.in.tum.de/Bali/}
and the conference version of this document \cite{NanoJava}.
\end{abstract}