--- a/src/Doc/manual.bib Wed Jul 18 12:21:55 2018 +0200
+++ b/src/Doc/manual.bib Wed Jul 18 16:44:01 2018 +0200
@@ -158,7 +158,7 @@
author = {Clemens Ballarin},
title = {Tutorial to Locales and Locale Interpretation},
institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/locales.pdf}}
+ note = {\url{https://isabelle.in.tum.de/doc/locales.pdf}}
}
@article{Ballarin2014,
@@ -226,7 +226,7 @@
Markus Wenzel},
title = {The Supplemental {Isabelle/HOL} Library},
note = {Part of the Isabelle distribution,
- \url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
+ \url{https://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
year = 2002
}
@@ -311,7 +311,7 @@
author = {Julian Biendarra and Jasmin Christian Blanchette and Martin Desharnais and Lorenz Panny and Andrei Popescu and Dmitriy Traytel},
title = {Defining (Co)datatypes and Primitively (Co)recursive Functions in {Isabelle\slash HOL}},
institution = {TU Munich},
- note = {\url{http://isabelle.in.tum.de/doc/datatypes.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/datatypes.pdf}}}
@book{Bird-Wadler,author="Richard Bird and Philip Wadler",
title="Introduction to Functional Programming",publisher=PH,year=1988}
@@ -324,21 +324,21 @@
author = {Jasmin Christian Blanchette},
title = {Picking Nits: A User's Guide to {N}itpick for {I}sabelle\slash {HOL}},
institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/nitpick.pdf}}
+ note = {\url{https://isabelle.in.tum.de/doc/nitpick.pdf}}
}
@manual{isabelle-sledgehammer,
author = {Jasmin Christian Blanchette},
title = {Hammering Away: A User's Guide to {S}ledgehammer for {I}sabelle\slash {HOL}},
institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/sledgehammer.pdf}}
+ note = {\url{https://isabelle.in.tum.de/doc/sledgehammer.pdf}}
}
@manual{isabelle-corec,
author = {Jasmin Christian Blanchette and Andreas Lochbihler and Andrei Popescu and Dmitriy Traytel},
title = {Defining Nonprimitively Corecursive Functions in {Isabelle\slash HOL}},
institution = {TU Munich},
- note = {\url{http://isabelle.in.tum.de/doc/corec.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/corec.pdf}}}
@inproceedings{blanchette-nipkow-2010,
title = "Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder",
@@ -831,14 +831,14 @@
author = {Florian Haftmann},
title = {Haskell-style type classes with {Isabelle}/{Isar}},
institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}
+ note = {\url{https://isabelle.in.tum.de/doc/classes.pdf}}
}
@manual{isabelle-codegen,
author = {Florian Haftmann},
title = {Code generation from Isabelle theories},
institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}
+ note = {\url{https://isabelle.in.tum.de/doc/codegen.pdf}}
}
@Book{halmos60,
@@ -1064,7 +1064,7 @@
author = {Alexander Krauss},
title = {Defining Recursive Functions in {Isabelle/HOL}},
institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/functions.pdf}}
+ note = {\url{https://isabelle.in.tum.de/doc/functions.pdf}}
}
@inproceedings{Kuncar:2015,
@@ -1366,7 +1366,7 @@
title = {{Isabelle}'s Logics: {HOL}},
institution = {Institut f{\"u}r Informatik, Technische Universi{\"a}t
M{\"u}nchen and Computer Laboratory, University of Cambridge},
- note = {\url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/logics-HOL.pdf}}}
@article{nipkow-prehofer,
author = {Tobias Nipkow and Christian Prehofer},
@@ -1502,25 +1502,25 @@
author = {Lawrence C. Paulson},
title = {Old Introduction to {Isabelle}},
institution = CUCL,
- note = {\url{http://isabelle.in.tum.de/doc/intro.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/intro.pdf}}}
@manual{isabelle-logics,
author = {Lawrence C. Paulson},
title = {{Isabelle's} Logics},
institution = CUCL,
- note = {\url{http://isabelle.in.tum.de/doc/logics.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/logics.pdf}}}
@manual{isabelle-ref,
author = {Lawrence C. Paulson},
title = {The Old {Isabelle} Reference Manual},
institution = CUCL,
- note = {\url{http://isabelle.in.tum.de/doc/ref.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/ref.pdf}}}
@manual{isabelle-ZF,
author = {Lawrence C. Paulson},
title = {{Isabelle}'s Logics: {FOL} and {ZF}},
institution = CUCL,
- note = {\url{http://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
@article{paulson-found,
author = {Lawrence C. Paulson},
@@ -2024,22 +2024,22 @@
@manual{isabelle-system,
author = {Makarius Wenzel},
title = {The {Isabelle} System Manual},
- note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/system.pdf}}}
@manual{isabelle-jedit,
author = {Makarius Wenzel},
title = {{Isabelle/jEdit}},
- note = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/jedit.pdf}}}
@manual{isabelle-isar-ref,
author = {Makarius Wenzel},
title = {The {Isabelle/Isar} Reference Manual},
- note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}}
@manual{isabelle-implementation,
author = {Makarius Wenzel},
title = {The {Isabelle/Isar} Implementation},
- note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
+ note = {\url{https://isabelle.in.tum.de/doc/implementation.pdf}}}
@InProceedings{Wenzel:1999:TPHOL,
author = {Markus Wenzel},