added isabelle-hol-book;
authorwenzelm
Tue Feb 12 20:32:23 2002 +0100 (2002-02-12)
changeset 128782896f88180b9
parent 12877 b9635eb8a448
child 12879 8e1cae1de136
added isabelle-hol-book;
added tphols2001;
tuned tphols2000;
doc-src/manual.bib
     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}