src/HOL/NanoJava/document/root.bib
changeset 68649 f849fc1cb65e
parent 11565 ab004c0ecc63
     1.1 --- a/src/HOL/NanoJava/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/HOL/NanoJava/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4    and dynamic binding within method calls.},
     1.5          CRClassification = {D.3.1, F.3.2},
     1.6          CRGenTerms = {Languages, Reliability, Theory, Verification},
     1.7 -        url = {\url{http://isabelle.in.tum.de/Bali/papers/NanoJava.html}},
     1.8 +        url = {\url{https://isabelle.in.tum.de/Bali/papers/NanoJava.html}},
     1.9          note = {Submitted for publication.}
    1.10  }
    1.11  
    1.12 @@ -38,7 +38,7 @@
    1.13  embedding languages in theorem provers.},
    1.14          CRClassification = {D.3.1, F.3.2},
    1.15          CRGenTerms = {Languages, Reliability, Theory, Verification},
    1.16 -        url = {\url{http://isabelle.in.tum.de/Bali/papers/MOD99.html}},
    1.17 +        url = {\url{https://isabelle.in.tum.de/Bali/papers/MOD99.html}},
    1.18          pages = {117--144}
    1.19  }
    1.20  
    1.21 @@ -74,5 +74,5 @@
    1.22  but also gives maximal confidence in the results obtained.},
    1.23          CRClassification = {D.2.4, D.3.1, F.3.1},
    1.24          CRGenTerms = {Languages, Verification, Theory},
    1.25 -        note = {\url{http://isabelle.in.tum.de/Bali/papers/CPE01.html}, to appear}
    1.26 +        note = {\url{https://isabelle.in.tum.de/Bali/papers/CPE01.html}, to appear}
    1.27  }