src/HOL/Unix/document/root.bib
changeset 68649 f849fc1cb65e
parent 13381 60bc63b13857
     1.1 --- a/src/HOL/Unix/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/HOL/Unix/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4                    Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and
     1.5                    Markus Wenzel},
     1.6    title = 	 {The Supplemental {Isabelle/HOL} Library},
     1.7 -  note = 	 {\url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
     1.8 +  note = 	 {\url{https://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
     1.9    year =	 2002
    1.10  }
    1.11  
    1.12 @@ -21,7 +21,7 @@
    1.13    institution   = {Institut f\"ur Informatik, Technische Universi\"at
    1.14                    M\"unchen and Computer Laboratory, University of Cambridge},
    1.15    year          = 2000,
    1.16 -  note          = {\url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}
    1.17 +  note          = {\url{https://isabelle.in.tum.de/doc/logics-HOL.pdf}}
    1.18  }
    1.19  
    1.20  @Book{Tanenbaum:1992,
    1.21 @@ -56,7 +56,7 @@
    1.22    title         = {The {Isabelle/Isar} Reference Manual},
    1.23    year          = 2002,
    1.24    institution   = {TU Munich},
    1.25 -  note          = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}
    1.26 +  note          = {\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}
    1.27  }
    1.28  
    1.29  @Proceedings{tphols99,