# HG changeset patch
# User paulson
# Date 927023766 -7200
# Node ID 4921b1f8ff921e53eeec271ffc9df90da7e18ffd
# Parent  5f1ce866c4978719cb3cbd2773f436dd1231cf61
added Locale paper

diff -r 5f1ce866c497 -r 4921b1f8ff92 doc-src/manual.bib
--- 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}
+