1.1 --- a/doc-src/manual.bib Tue Feb 12 20:31:40 2002 +0100
1.2 +++ b/doc-src/manual.bib Tue Feb 12 20:32:23 2002 +0100
1.3 @@ -147,6 +147,11 @@
1.4 year = 2000
1.5 }
1.6
1.7 +@InProceedings{Bauer-Wenzel:2001,
1.8 + author = {Gertrud Bauer and Markus Wenzel},
1.9 + title = {Calculational reasoning revisited --- an {Isabelle/Isar} experience},
1.10 + crossref = {tphols2001}}
1.11 +
1.12 @INPROCEEDINGS{Berghofer-Nipkow:2000:TPHOL,
1.13 crossref = "tphols2000",
1.14 title = "Proof terms for simply typed higher order logic",
1.15 @@ -864,6 +869,13 @@
1.16 year = 1994,
1.17 note = {LNCS 828}}
1.18
1.19 +@Book{isabelle-hol-book,
1.20 + author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
1.21 + title = {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
1.22 + publisher = {Springer},
1.23 + year = 2002,
1.24 + note = {LNCS 2283}}
1.25 +
1.26 @InCollection{paulson-markt,
1.27 author = {Lawrence C. Paulson},
1.28 title = {Tool Support for Logics of Programs},
1.29 @@ -1380,11 +1392,16 @@
1.30 series = {LNCS 1690},
1.31 year = 1999}
1.32
1.33 -@PROCEEDINGS{tphols2000,
1.34 - editor = "J. Harrison and M. Aagaard",
1.35 - booktitle = "Theorem Proving in Higher Order Logics:
1.36 - 13th International Conference, TPHOLs 2000",
1.37 - series = "Lecture Notes in Computer Science",
1.38 - volume = 1869,
1.39 - year = 2000,
1.40 - publisher = "Springer-Verlag"}
1.41 +@Proceedings{tphols2000,
1.42 + title = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
1.43 + booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
1.44 + editor = {J. Harrison and M. Aagaard},
1.45 + series = {LNCS 1869},
1.46 + year = 2000}
1.47 +
1.48 +@Proceedings{tphols2001,
1.49 + title = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
1.50 + booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
1.51 + editor = {R. J. Boulton and P. B. Jackson},
1.52 + series = {LNCS 2152},
1.53 + year = 2001}