src/HOL/MicroJava/document/root.bib
changeset 68649 f849fc1cb65e
parent 13067 a59af3a83c61
     1.1 --- a/src/HOL/MicroJava/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/HOL/MicroJava/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  embedding languages in theorem provers.},
     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/MOD99.html}},
     1.8 +        url = {\url{https://isabelle.in.tum.de/Bali/papers/MOD99.html}},
     1.9          pages = {117--144}
    1.10  }
    1.11  
    1.12 @@ -50,7 +50,7 @@
    1.13  theorem prover Isabelle/HOL.},
    1.14          CRClassification = {D.2.4, D.3.1, F.3.1},
    1.15          CRGenTerms = {Languages, Verification, Theory},
    1.16 -        url       = {\url{http://isabelle.in.tum.de/Bali/papers/ECOOP00.html}}
    1.17 +        url       = {\url{https://isabelle.in.tum.de/Bali/papers/ECOOP00.html}}
    1.18  }
    1.19  
    1.20