equal
deleted
inserted
replaced
2 @manual{isa-imp, |
2 @manual{isa-imp, |
3 author = {Makarius Wenzel}, |
3 author = {Makarius Wenzel}, |
4 title = {The {Isabelle/Isar} Implementation}, |
4 title = {The {Isabelle/Isar} Implementation}, |
5 institution = {Technische Universit\"at M\"unchen}, |
5 institution = {Technische Universit\"at M\"unchen}, |
6 note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}} |
6 note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}} |
|
7 |
|
8 |
|
9 @Book{isa-tutorial, |
|
10 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
|
11 title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic}, |
|
12 publisher = {Springer}, |
|
13 year = 2002, |
|
14 note = {LNCS Tutorial 2283}} |
|
15 |
|
16 @book{paulson-ml2, |
|
17 author = {Lawrence C. Paulson}, |
|
18 title = {{ML} for the Working Programmer}, |
|
19 year = 1996, |
|
20 edition = {2nd}, |
|
21 publisher = {Cambridge University Press}} |