1.1 --- a/doc-src/manual.bib	Fri Oct 20 14:13:48 2006 +0200
     1.2 +++ b/doc-src/manual.bib	Fri Oct 20 17:07:22 2006 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4  %institutions
     1.5  @string{CUCL="Computer Laboratory, University of Cambridge"}
     1.6  @string{Edinburgh="Department of Computer Science, University of Edinburgh"}
     1.7 +@string{TUM="Department of Informatics, Technical University of Munich"}
     1.8  
     1.9  %journals
    1.10  @string{AI="Artificial Intelligence"}
    1.11 @@ -854,6 +855,18 @@
    1.12    institution	= CUCL,
    1.13    note          = {\url{http://isabelle.in.tum.de/doc/logics-ZF.pdf}}}
    1.14  
    1.15 +@manual{isabelle-classes,
    1.16 +  author	= {Florian Haftmann},
    1.17 +  title		= {Haskell-style type classes with {Isabelle}/{Isar}},
    1.18 +  institution	= TUM,
    1.19 +  note          = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}}
    1.20 +
    1.21 +@manual{isabelle-codegen,
    1.22 +  author	= {Florian Haftmann},
    1.23 +  title		= {Code generation from Isabelle theories},
    1.24 +  institution	= TUM,
    1.25 +  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}}
    1.26 +
    1.27  @article{paulson-found,
    1.28    author	= {Lawrence C. Paulson},
    1.29    title		= {The Foundation of a Generic Theorem Prover},
    1.30 @@ -1018,7 +1031,13 @@
    1.31    volume	= 2,
    1.32    number        = 3,
    1.33    pages		= {332-351}}
    1.34 -
    1.35 @Article{paulson-yahalom,
    1.36   author = 	 {Lawrence C. Paulson},
    1.37   title = 	 {Relations Between Secrets:
    1.38                   Two Formal Analyses of the {Yahalom} Protocol},
    1.39   journal = 	 JCS,
    1.40   note =	 {in press}}
    1.41 +
    1.42 +@Article{paulson-yahalom,
    1.43 +  author = 	 {Lawrence C. Paulson},
    1.44 +  title = 	 {Relations Between Secrets:
    1.45 +                  Two Formal Analyses of the {Yahalom} Protocol},
    1.46 +  journal = 	 JCS,
    1.47 +  note =	 {in press}}
    1.48  
    1.49  @article{pelletier86,
    1.50    author	= {F. J. Pelletier},