--- a/doc-src/manual.bib Tue May 18 12:35:10 1999 +0200
+++ b/doc-src/manual.bib Tue May 18 12:36:06 1999 +0200
@@ -369,6 +369,12 @@
%K
+@InProceedings{kammueller-locales,
+ author = {Florian Kamm{\"u}ller and Markus Wenzel and
+ Lawrence C. Paulson},
+ title = {Locales: A Sectioning Concept for {Isabelle}},
+ crossref = {tphols99}}
+
@book{Knuth3-75,author={Donald E. Knuth},
title={The Art of Computer Programming, Volume 3: Sorting and Searching},
publisher={Addison-Wesley},year=1975}
@@ -1038,3 +1044,10 @@
editor = {J. von Wright and J. Grundy and J. Harrison},
series = {LNCS 1125},
year = 1996}
+
+@Proceedings{tphols99,
+ title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
+ booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
+ note = {in press},
+ year = 1999}
+