1.1 --- a/doc-src/manual.bib	Wed Mar 04 10:43:39 2009 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Mar 04 10:45:52 2009 +0100
     1.3 @@ -1,6 +1,4 @@
     1.4  % BibTeX database for the Isabelle documentation
     1.5 -%
     1.6 -% Lawrence C Paulson $Id$
     1.7  
     1.8  %publishers
     1.9  @string{AP="Academic Press"}
    1.10 @@ -185,6 +183,16 @@
    1.11                    {F}ormal-{L}ogic {E}ngineering},
    1.12    crossref =     {tphols99}}
    1.13  
    1.14 +
    1.15 +@InProceedings{Bezem-Coquand:2005,
    1.16 +  author = 	 {M.A. Bezem and T. Coquand},
    1.17 +  title = 	 {Automating {Coherent Logic}},
    1.18 +  booktitle = {LPAR-12},
    1.19 +  editor = 	 {G. Sutcliffe and A. Voronkov},
    1.20 +  volume = 	 3835,
    1.21 +  series = 	 LNCS,
    1.22 +  publisher = Springer}
    1.23 +
    1.24  @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
    1.25  title="Introduction to Functional Programming",publisher=PH,year=1988}
    1.26  
    1.27 @@ -469,6 +477,17 @@
    1.28    number        = {364/07}
    1.29  }
    1.30  
    1.31 +@InProceedings{Haftmann-Wenzel:2009,
    1.32 +  author        = {Florian Haftmann and Makarius Wenzel},
    1.33 +  title         = {Local theory specifications in {Isabelle/Isar}},
    1.34 +  editor        = {Stefano Berardi and Ferruccio Damiani and de Liguoro, Ugo},
    1.35 +  booktitle     = {Types for Proofs and Programs, TYPES 2008},
    1.36 +  publisher     = {Springer},
    1.37 +  series        = {LNCS},
    1.38 +  volume        = {????},
    1.39 +  year          = {2009}
    1.40 +}
    1.41 +
    1.42  @manual{isabelle-classes,
    1.43    author        = {Florian Haftmann},
    1.44    title         = {Haskell-style type classes with {Isabelle}/{Isar}},
    1.45 @@ -669,6 +688,16 @@
    1.46    pages		= {341-386},
    1.47    crossref	= {birtwistle89}}
    1.48  
    1.49 +@Article{Miller:1991,
    1.50 +  author = 	 {Dale Miller},
    1.51 +  title = 	 {A Logic Programming Language with Lambda-Abstraction, Function Variables,
    1.52 +    and Simple Unification},
    1.53 +  journal = 	 {Journal of Logic and Computation},
    1.54 +  year = 	 1991,
    1.55 +  volume =	 1,
    1.56 +  number =	 4
    1.57 +}
    1.58 +
    1.59  @Article{miller-mixed,
    1.60    Author	= {Dale Miller},
    1.61    Title		= {Unification Under a Mixed Prefix},
    1.62 @@ -1198,6 +1227,15 @@
    1.63    pages		= {578-596},
    1.64    crossref	= {fme93}}
    1.65  
    1.66 +@Article{Schroeder-Heister:1984,
    1.67 +  author =       {Peter Schroeder-Heister},
    1.68 +  title =        {A Natural Extension of Natural Deduction},
    1.69 +  journal =      {Journal of Symbolic Logic},
    1.70 +  year =         1984,
    1.71 +  volume =       49,
    1.72 +  number =       4
    1.73 +}
    1.74 +
    1.75  @inproceedings{slind-tfl,
    1.76    author	= {Konrad Slind},
    1.77    title		= {Function Definition in Higher Order Logic},
    1.78 @@ -1331,6 +1369,24 @@
    1.79    year=2002,
    1.80    note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
    1.81  
    1.82 +@Article{Wenzel-Wiedijk:2002,
    1.83 +  author = 	 {Freek Wiedijk and Markus Wenzel},
    1.84 +  title = 	 {A comparison of the mathematical proof languages {Mizar} and {Isar}.},
    1.85 +  journal = 	 {Journal of Automated Reasoning},
    1.86 +  year = 	 2002,
    1.87 +  volume =	 29,
    1.88 +  number =	 {3-4}
    1.89 +}
    1.90 +
    1.91 +@InCollection{Wenzel-Paulson:2006,
    1.92 +  author = 	 {Markus Wenzel and Lawrence C. Paulson},
    1.93 +  title = 	 {{Isabelle/Isar}},
    1.94 +  booktitle = 	 {The Seventeen Provers of the World},
    1.95 +  year =	 2006,
    1.96 +  editor =	 {F. Wiedijk},
    1.97 +  series =	 {LNAI 3600}
    1.98 +}
    1.99 +
   1.100  @InCollection{Wenzel:2006:Festschrift,
   1.101    author = 	 {Makarius Wenzel},
   1.102    title = 	 {{Isabelle/Isar} --- a generic framework for human-readable proof documents},