doc-src/manual.bib
changeset 6670 4921b1f8ff92
parent 6626 a92d2b6e0626
child 6745 74e8f703f5f2
equal deleted inserted replaced
6669:5f1ce866c497 6670:4921b1f8ff92
   367   pages		= {205-216}, 
   367   pages		= {205-216}, 
   368   publisher	= {Elsevier}}
   368   publisher	= {Elsevier}}
   369 
   369 
   370 %K
   370 %K
   371 
   371 
       
   372 @InProceedings{kammueller-locales,
       
   373   author = 	 {Florian Kamm{\"u}ller and Markus Wenzel and 
       
   374                   Lawrence C. Paulson},
       
   375   title = 	 {Locales: A Sectioning Concept for {Isabelle}},
       
   376   crossref =	 {tphols99}}
       
   377 
   372 @book{Knuth3-75,author={Donald E. Knuth},
   378 @book{Knuth3-75,author={Donald E. Knuth},
   373 title={The Art of Computer Programming, Volume 3: Sorting and Searching},
   379 title={The Art of Computer Programming, Volume 3: Sorting and Searching},
   374 publisher={Addison-Wesley},year=1975}
   380 publisher={Addison-Wesley},year=1975}
   375 
   381 
   376 @Book{kunen80,
   382 @Book{kunen80,
  1036   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
  1042   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
  1037   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
  1043   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
  1038   editor	= {J. von Wright and J. Grundy and J. Harrison},
  1044   editor	= {J. von Wright and J. Grundy and J. Harrison},
  1039   series	= {LNCS 1125},
  1045   series	= {LNCS 1125},
  1040   year		= 1996}
  1046   year		= 1996}
       
  1047 
       
  1048 @Proceedings{tphols99,
       
  1049   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
       
  1050   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
       
  1051   note = {in press},
       
  1052   year		= 1999}
       
  1053