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