1.1 --- a/doc-src/manual.bib	Sat Feb 10 09:26:07 2007 +0100
     1.2 +++ b/doc-src/manual.bib	Sat Feb 10 09:26:08 2007 +0100
     1.3 @@ -433,6 +433,18 @@
     1.4  
     1.5  %H
     1.6  
     1.7 +@manual{isabelle-classes,
     1.8 +  author	= {Florian Haftmann},
     1.9 +  title		= {Haskell-style type classes with {Isabelle}/{Isar}},
    1.10 +  institution	= TUM,
    1.11 +  note          = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}}
    1.12 +
    1.13 +@manual{isabelle-codegen,
    1.14 +  author	= {Florian Haftmann},
    1.15 +  title		= {Code generation from Isabelle theories},
    1.16 +  institution	= TUM,
    1.17 +  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}}
    1.18 +
    1.19  @Book{halmos60,
    1.20    author	= {Paul R. Halmos},
    1.21    title		= {Naive Set Theory},
    1.22 @@ -515,6 +527,19 @@
    1.23    pages =	 {203--220},
    1.24    crossref =     {tphols96}}
    1.25  
    1.26 +%J
    1.27 +
    1.28 +@article{haskell-revised-report,
    1.29 +  author =  {Simon {Peyton Jones} and others},
    1.30 +  title =   {The {Haskell} 98 Language and Libraries: The Revised Report},
    1.31 +  journal = {Journal of Functional Programming},
    1.32 +  volume =  13,
    1.33 +  number =  1,
    1.34 +  pages =   {0--255},
    1.35 +  month =   {Jan},
    1.36 +  year =    2003,
    1.37 +  note =    {\url{http://www.haskell.org/definition/}}}
    1.38 +
    1.39  %K
    1.40  
    1.41  @InProceedings{kammueller-locales,
    1.42 @@ -546,6 +571,11 @@
    1.43  
    1.44  %L
    1.45  
    1.46 +@manual{OCaml,
    1.47 +  author =  {Xavier Leroy and others},
    1.48 +  title =   {The Objective Caml system -- Documentation and user's manual},
    1.49 +  note =    {\url{http://caml.inria.fr/pub/docs/manual-ocaml/}}}
    1.50 +
    1.51  @InProceedings{lowe-fdr,
    1.52    author	= {Gavin Lowe},
    1.53    title		= {Breaking and Fixing the {Needham}-{Schroeder} Public-Key
    1.54 @@ -558,7 +588,6 @@
    1.55    publisher =	 {Springer},
    1.56    pages		= {147-166}}
    1.57  
    1.58 -
    1.59  %M
    1.60  
    1.61  @Article{mw81,
    1.62 @@ -855,18 +884,6 @@
    1.63    institution	= CUCL,
    1.64    note          = {\url{http://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
    1.65  
    1.66 -@manual{isabelle-classes,
    1.67 -  author	= {Florian Haftmann},
    1.68 -  title		= {Haskell-style type classes with {Isabelle}/{Isar}},
    1.69 -  institution	= TUM,
    1.70 -  note          = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}}
    1.71 -
    1.72 -@manual{isabelle-codegen,
    1.73 -  author	= {Florian Haftmann},
    1.74 -  title		= {Code generation from Isabelle theories},
    1.75 -  institution	= TUM,
    1.76 -  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}}
    1.77 -
    1.78  @article{paulson-found,
    1.79    author	= {Lawrence C. Paulson},
    1.80    title		= {The Foundation of a Generic Theorem Prover},