1 @string{CUP="Cambridge University Press"} |
1 @string{CUP="Cambridge University Press"} |
2 @string{LNCS="Lect.\ Notes in Comp.\ Sci."} |
2 @string{LNCS="Lect.\ Notes in Comp.\ Sci."} |
3 @string{Springer="Springer-Verlag"} |
3 @string{Springer="Springer-Verlag"} |
4 |
4 |
5 @manual{Main,author={Tobias Nipkow},title={What's in Main}, |
5 @manual{Main,author={Tobias Nipkow},title={What's in Main}, |
6 note={\url{http://isabelle.in.tum.de/doc/main.pdf}}} |
6 note={\url{https://isabelle.in.tum.de/doc/main.pdf}}} |
7 |
7 |
8 @manual{ProgProve,author={Tobias Nipkow}, |
8 @manual{ProgProve,author={Tobias Nipkow}, |
9 title={Programming and Proving in Isabelle/HOL}, |
9 title={Programming and Proving in Isabelle/HOL}, |
10 note={\url{http://isabelle.in.tum.de/doc/prog-prove.pdf}}} |
10 note={\url{https://isabelle.in.tum.de/doc/prog-prove.pdf}}} |
11 |
11 |
12 @manual{IsarRef,author={Makarius Wenzel}, |
12 @manual{IsarRef,author={Makarius Wenzel}, |
13 title={The Isabelle/Isar Reference Manual}, |
13 title={The Isabelle/Isar Reference Manual}, |
14 note={\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}} |
14 note={\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}} |