--- a/doc-src/manual.bib Sat Feb 10 09:26:07 2007 +0100
+++ b/doc-src/manual.bib Sat Feb 10 09:26:08 2007 +0100
@@ -433,6 +433,18 @@
%H
+@manual{isabelle-classes,
+ author = {Florian Haftmann},
+ title = {Haskell-style type classes with {Isabelle}/{Isar}},
+ institution = TUM,
+ note = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}}
+
+@manual{isabelle-codegen,
+ author = {Florian Haftmann},
+ title = {Code generation from Isabelle theories},
+ institution = TUM,
+ note = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}}
+
@Book{halmos60,
author = {Paul R. Halmos},
title = {Naive Set Theory},
@@ -515,6 +527,19 @@
pages = {203--220},
crossref = {tphols96}}
+%J
+
+@article{haskell-revised-report,
+ author = {Simon {Peyton Jones} and others},
+ title = {The {Haskell} 98 Language and Libraries: The Revised Report},
+ journal = {Journal of Functional Programming},
+ volume = 13,
+ number = 1,
+ pages = {0--255},
+ month = {Jan},
+ year = 2003,
+ note = {\url{http://www.haskell.org/definition/}}}
+
%K
@InProceedings{kammueller-locales,
@@ -546,6 +571,11 @@
%L
+@manual{OCaml,
+ author = {Xavier Leroy and others},
+ title = {The Objective Caml system -- Documentation and user's manual},
+ note = {\url{http://caml.inria.fr/pub/docs/manual-ocaml/}}}
+
@InProceedings{lowe-fdr,
author = {Gavin Lowe},
title = {Breaking and Fixing the {Needham}-{Schroeder} Public-Key
@@ -558,7 +588,6 @@
publisher = {Springer},
pages = {147-166}}
-
%M
@Article{mw81,
@@ -855,18 +884,6 @@
institution = CUCL,
note = {\url{http://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
-@manual{isabelle-classes,
- author = {Florian Haftmann},
- title = {Haskell-style type classes with {Isabelle}/{Isar}},
- institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}}
-
-@manual{isabelle-codegen,
- author = {Florian Haftmann},
- title = {Code generation from Isabelle theories},
- institution = TUM,
- note = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}}
-
@article{paulson-found,
author = {Lawrence C. Paulson},
title = {The Foundation of a Generic Theorem Prover},