# 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} +