added Locale paper
authorpaulson
Tue May 18 12:36:06 1999 +0200 (1999-05-18)
changeset 66704921b1f8ff92
parent 6669 5f1ce866c497
child 6671 677713791bd8
added Locale paper
doc-src/manual.bib
     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 +