src/Doc/How_to_Prove_it/document/root.bib
changeset 68649 f849fc1cb65e
parent 56820 7fbed439b8d3
     1.1 --- a/src/Doc/How_to_Prove_it/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/How_to_Prove_it/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -3,12 +3,12 @@
     1.4  @string{Springer="Springer-Verlag"}
     1.5  
     1.6  @manual{Main,author={Tobias Nipkow},title={What's in Main},
     1.7 -note={\url{http://isabelle.in.tum.de/doc/main.pdf}}}
     1.8 +note={\url{https://isabelle.in.tum.de/doc/main.pdf}}}
     1.9  
    1.10  @manual{ProgProve,author={Tobias Nipkow},
    1.11  title={Programming and Proving in Isabelle/HOL},
    1.12 -note={\url{http://isabelle.in.tum.de/doc/prog-prove.pdf}}}
    1.13 +note={\url{https://isabelle.in.tum.de/doc/prog-prove.pdf}}}
    1.14  
    1.15  @manual{IsarRef,author={Makarius Wenzel},
    1.16  title={The Isabelle/Isar Reference Manual},
    1.17 -note={\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
    1.18 +note={\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}}