src/Doc/Prog_Prove/document/root.bib
changeset 68649 f849fc1cb65e
parent 65348 b5ce7100ddc8
     1.1 --- a/src/Doc/Prog_Prove/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Prog_Prove/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -13,10 +13,10 @@
     1.4  
     1.5  @manual{Krauss,author={Alexander Krauss},
     1.6  title={Defining Recursive Functions in Isabelle/HOL},
     1.7 -note={\url{http://isabelle.in.tum.de/doc/functions.pdf}}}
     1.8 +note={\url{https://isabelle.in.tum.de/doc/functions.pdf}}}
     1.9  
    1.10  @manual{Nipkow-Main,author={Tobias Nipkow},title={What's in Main},
    1.11 -note={\url{http://isabelle.in.tum.de/doc/main.pdf}}}
    1.12 +note={\url{https://isabelle.in.tum.de/doc/main.pdf}}}
    1.13  
    1.14  @book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
    1.15  title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
    1.16 @@ -28,4 +28,4 @@
    1.17  
    1.18  @manual{IsarRef,author={Makarius Wenzel},
    1.19  title={The Isabelle/Isar Reference Manual},
    1.20 -note={\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
    1.21 +note={\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}}