src/HOL/Lattice/document/root.bib
changeset 68649 f849fc1cb65e
parent 10157 6d3987f3aad9
     1.1 --- a/src/HOL/Lattice/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/HOL/Lattice/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    title         = {Using Axiomatic Type Classes in Isabelle},
     1.5    year          = 2000,
     1.6    institution   = {TU Munich},
     1.7 -  note          = {\url{http://isabelle.in.tum.de/doc/axclass.pdf}}
     1.8 +  note          = {\url{https://isabelle.in.tum.de/doc/axclass.pdf}}
     1.9  }
    1.10  
    1.11  @Manual{Wenzel:2000:isar-ref,
    1.12 @@ -35,7 +35,7 @@
    1.13    title         = {The {Isabelle/Isar} Reference Manual},
    1.14    year          = 2000,
    1.15    institution   = {TU Munich},
    1.16 -  note          = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}
    1.17 +  note          = {\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}
    1.18  }
    1.19  
    1.20  @Proceedings{tphols99,