# HG changeset patch
# User haftmann
# Date 1161356842 -7200
# Node ID 8cb2f0063c4908ad2d74d6fb5acda24131e72bac
# Parent  be0a17371ba6eaf9b8f84f906a4324302e4c0976
added entries for tutorials

diff -r be0a17371ba6 -r 8cb2f0063c49 doc-src/manual.bib
--- a/doc-src/manual.bib	Fri Oct 20 14:13:48 2006 +0200
+++ b/doc-src/manual.bib	Fri Oct 20 17:07:22 2006 +0200
@@ -16,6 +16,7 @@
 %institutions
 @string{CUCL="Computer Laboratory, University of Cambridge"}
 @string{Edinburgh="Department of Computer Science, University of Edinburgh"}
+@string{TUM="Department of Informatics, Technical University of Munich"}
 
 %journals
 @string{AI="Artificial Intelligence"}
@@ -854,6 +855,18 @@
   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},
@@ -1018,7 +1031,13 @@
   volume	= 2,
   number        = 3,
   pages		= {332-351}}
-
@Article{paulson-yahalom,
  author = 	 {Lawrence C. Paulson},
  title = 	 {Relations Between Secrets:
                  Two Formal Analyses of the {Yahalom} Protocol},
  journal = 	 JCS,
  note =	 {in press}}
+
+@Article{paulson-yahalom,
+  author = 	 {Lawrence C. Paulson},
+  title = 	 {Relations Between Secrets:
+                  Two Formal Analyses of the {Yahalom} Protocol},
+  journal = 	 JCS,
+  note =	 {in press}}
 
 @article{pelletier86,
   author	= {F. J. Pelletier},