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