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