# HG changeset patch
# User haftmann
# Date 1171095968 -3600
# Node ID 4ddfd23a700d05e411ee994fd729d242d7d6dbcc
# Parent  41ce4f5c97c9ea8c35b4af29ff348bd14b500e3e
added references for code generator tutorial

diff -r 41ce4f5c97c9 -r 4ddfd23a700d doc-src/manual.bib
--- 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},