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},