src/Doc/manual.bib
changeset 68649 f849fc1cb65e
parent 68504 3524d60b8f15
child 69308 48196cfb1541
     1.1 --- a/src/Doc/manual.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/manual.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -158,7 +158,7 @@
     1.4    author        = {Clemens Ballarin},
     1.5    title         = {Tutorial to Locales and Locale Interpretation},
     1.6    institution   = TUM,
     1.7 -  note          = {\url{http://isabelle.in.tum.de/doc/locales.pdf}}
     1.8 +  note          = {\url{https://isabelle.in.tum.de/doc/locales.pdf}}
     1.9  }
    1.10  
    1.11  @article{Ballarin2014,
    1.12 @@ -226,7 +226,7 @@
    1.13                    Markus Wenzel},
    1.14    title =        {The Supplemental {Isabelle/HOL} Library},
    1.15    note =         {Part of the Isabelle distribution,
    1.16 -                  \url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
    1.17 +                  \url{https://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
    1.18    year =         2002
    1.19  }
    1.20  
    1.21 @@ -311,7 +311,7 @@
    1.22    author	= {Julian Biendarra and Jasmin Christian Blanchette and Martin Desharnais and Lorenz Panny and Andrei Popescu and Dmitriy Traytel},
    1.23    title		= {Defining (Co)datatypes and Primitively (Co)recursive Functions in {Isabelle\slash HOL}},
    1.24    institution	= {TU Munich},
    1.25 -  note          = {\url{http://isabelle.in.tum.de/doc/datatypes.pdf}}}
    1.26 +  note          = {\url{https://isabelle.in.tum.de/doc/datatypes.pdf}}}
    1.27  
    1.28  @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
    1.29  title="Introduction to Functional Programming",publisher=PH,year=1988}
    1.30 @@ -324,21 +324,21 @@
    1.31    author        = {Jasmin Christian Blanchette},
    1.32    title         = {Picking Nits: A User's Guide to {N}itpick for {I}sabelle\slash {HOL}},
    1.33    institution   = TUM,
    1.34 -  note          = {\url{http://isabelle.in.tum.de/doc/nitpick.pdf}}
    1.35 +  note          = {\url{https://isabelle.in.tum.de/doc/nitpick.pdf}}
    1.36  }
    1.37  
    1.38  @manual{isabelle-sledgehammer,
    1.39    author        = {Jasmin Christian Blanchette},
    1.40    title         = {Hammering Away: A User's Guide to {S}ledgehammer for {I}sabelle\slash {HOL}},
    1.41    institution   = TUM,
    1.42 -  note          = {\url{http://isabelle.in.tum.de/doc/sledgehammer.pdf}}
    1.43 +  note          = {\url{https://isabelle.in.tum.de/doc/sledgehammer.pdf}}
    1.44  }
    1.45  
    1.46  @manual{isabelle-corec,
    1.47    author	= {Jasmin Christian Blanchette and Andreas Lochbihler and Andrei Popescu and Dmitriy Traytel},
    1.48    title		= {Defining Nonprimitively Corecursive Functions in {Isabelle\slash HOL}},
    1.49    institution	= {TU Munich},
    1.50 -  note          = {\url{http://isabelle.in.tum.de/doc/corec.pdf}}}
    1.51 +  note          = {\url{https://isabelle.in.tum.de/doc/corec.pdf}}}
    1.52  
    1.53  @inproceedings{blanchette-nipkow-2010,
    1.54    title = "Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder",
    1.55 @@ -831,14 +831,14 @@
    1.56    author        = {Florian Haftmann},
    1.57    title         = {Haskell-style type classes with {Isabelle}/{Isar}},
    1.58    institution   = TUM,
    1.59 -  note          = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}
    1.60 +  note          = {\url{https://isabelle.in.tum.de/doc/classes.pdf}}
    1.61  }
    1.62  
    1.63  @manual{isabelle-codegen,
    1.64    author        = {Florian Haftmann},
    1.65    title         = {Code generation from Isabelle theories},
    1.66    institution   = TUM,
    1.67 -  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}
    1.68 +  note          = {\url{https://isabelle.in.tum.de/doc/codegen.pdf}}
    1.69  }
    1.70  
    1.71  @Book{halmos60,
    1.72 @@ -1064,7 +1064,7 @@
    1.73    author        = {Alexander Krauss},
    1.74    title         = {Defining Recursive Functions in {Isabelle/HOL}},
    1.75    institution   = TUM,
    1.76 -  note          = {\url{http://isabelle.in.tum.de/doc/functions.pdf}}
    1.77 +  note          = {\url{https://isabelle.in.tum.de/doc/functions.pdf}}
    1.78  }
    1.79  
    1.80  @inproceedings{Kuncar:2015,
    1.81 @@ -1366,7 +1366,7 @@
    1.82    title		= {{Isabelle}'s Logics: {HOL}},
    1.83    institution	= {Institut f{\"u}r Informatik, Technische Universi{\"a}t
    1.84                    M{\"u}nchen and Computer Laboratory, University of Cambridge},
    1.85 -  note          = {\url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}}
    1.86 +  note          = {\url{https://isabelle.in.tum.de/doc/logics-HOL.pdf}}}
    1.87  
    1.88  @article{nipkow-prehofer,
    1.89    author	= {Tobias Nipkow and Christian Prehofer},
    1.90 @@ -1502,25 +1502,25 @@
    1.91    author	= {Lawrence C. Paulson},
    1.92    title		= {Old Introduction to {Isabelle}},
    1.93    institution	= CUCL,
    1.94 -  note          = {\url{http://isabelle.in.tum.de/doc/intro.pdf}}}
    1.95 +  note          = {\url{https://isabelle.in.tum.de/doc/intro.pdf}}}
    1.96  
    1.97  @manual{isabelle-logics,
    1.98    author	= {Lawrence C. Paulson},
    1.99    title		= {{Isabelle's} Logics},
   1.100    institution	= CUCL,
   1.101 -  note          = {\url{http://isabelle.in.tum.de/doc/logics.pdf}}}
   1.102 +  note          = {\url{https://isabelle.in.tum.de/doc/logics.pdf}}}
   1.103  
   1.104  @manual{isabelle-ref,
   1.105    author	= {Lawrence C. Paulson},
   1.106    title		= {The Old {Isabelle} Reference Manual},
   1.107    institution	= CUCL,
   1.108 -  note          = {\url{http://isabelle.in.tum.de/doc/ref.pdf}}}
   1.109 +  note          = {\url{https://isabelle.in.tum.de/doc/ref.pdf}}}
   1.110  
   1.111  @manual{isabelle-ZF,
   1.112    author	= {Lawrence C. Paulson},
   1.113    title		= {{Isabelle}'s Logics: {FOL} and {ZF}},
   1.114    institution	= CUCL,
   1.115 -  note          = {\url{http://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
   1.116 +  note          = {\url{https://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
   1.117  
   1.118  @article{paulson-found,
   1.119    author	= {Lawrence C. Paulson},
   1.120 @@ -2024,22 +2024,22 @@
   1.121  @manual{isabelle-system,
   1.122    author = {Makarius Wenzel},
   1.123    title = {The {Isabelle} System Manual},
   1.124 -  note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
   1.125 +  note = {\url{https://isabelle.in.tum.de/doc/system.pdf}}}
   1.126  
   1.127  @manual{isabelle-jedit,
   1.128    author = {Makarius Wenzel},
   1.129    title = {{Isabelle/jEdit}},
   1.130 -  note = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}}
   1.131 +  note = {\url{https://isabelle.in.tum.de/doc/jedit.pdf}}}
   1.132  
   1.133  @manual{isabelle-isar-ref,
   1.134    author = {Makarius Wenzel},
   1.135    title = {The {Isabelle/Isar} Reference Manual},
   1.136 -  note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
   1.137 +  note = {\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}}
   1.138  
   1.139  @manual{isabelle-implementation,
   1.140    author = {Makarius Wenzel},
   1.141    title = {The {Isabelle/Isar} Implementation},
   1.142 -  note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
   1.143 +  note = {\url{https://isabelle.in.tum.de/doc/implementation.pdf}}}
   1.144  
   1.145  @InProceedings{Wenzel:1999:TPHOL,
   1.146    author = 	 {Markus Wenzel},