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