1.1 --- a/doc-src/manual.bib Tue May 18 12:35:10 1999 +0200
1.2 +++ b/doc-src/manual.bib Tue May 18 12:36:06 1999 +0200
1.3 @@ -369,6 +369,12 @@
1.4
1.5 %K
1.6
1.7 +@InProceedings{kammueller-locales,
1.8 + author = {Florian Kamm{\"u}ller and Markus Wenzel and
1.9 + Lawrence C. Paulson},
1.10 + title = {Locales: A Sectioning Concept for {Isabelle}},
1.11 + crossref = {tphols99}}
1.12 +
1.13 @book{Knuth3-75,author={Donald E. Knuth},
1.14 title={The Art of Computer Programming, Volume 3: Sorting and Searching},
1.15 publisher={Addison-Wesley},year=1975}
1.16 @@ -1038,3 +1044,10 @@
1.17 editor = {J. von Wright and J. Grundy and J. Harrison},
1.18 series = {LNCS 1125},
1.19 year = 1996}
1.20 +
1.21 +@Proceedings{tphols99,
1.22 + title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
1.23 + booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
1.24 + note = {in press},
1.25 + year = 1999}
1.26 +