1.1 --- a/doc-src/manual.bib Fri Jun 01 15:14:05 2007 +0200
1.2 +++ b/doc-src/manual.bib Fri Jun 01 15:18:31 2007 +0200
1.3 @@ -225,6 +225,14 @@
1.4 pages = {381-392},
1.5 year = 1972}
1.6
1.7 +@InProceedings{bulwahnKN07,
1.8 + author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
1.9 + title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
1.10 + booktitle = {TPHOLS 2007},
1.11 + year = {2007},
1.12 + publisher = Springer,
1.13 + note = {To appear}}
1.14 +
1.15 @Article{ban89,
1.16 author = {M. Burrows and M. Abadi and R. M. Needham},
1.17 title = {A Logic of Authentication},
1.18 @@ -563,6 +571,12 @@
1.19 volume = 27,
1.20 pages = {97-109}}
1.21
1.22 +@InProceedings{krauss2006,
1.23 + author = {Alexander Krauss},
1.24 + title = {Partial Recursive Functions in {Higher-Order Logic}},
1.25 + crossref = {ijcar2006},
1.26 + pages = {589--603}}
1.27 +
1.28 @Book{kunen80,
1.29 author = {Kenneth Kunen},
1.30 title = {Set Theory: An Introduction to Independence Proofs},
1.31 @@ -1139,13 +1153,8 @@
1.32 @inproceedings{slind-tfl,
1.33 author = {Konrad Slind},
1.34 title = {Function Definition in Higher Order Logic},
1.35 - booktitle = {Theorem Proving in Higher Order Logics},
1.36 - editor = {J. von Wright and J. Grundy and J. Harrison},
1.37 - publisher = Springer,
1.38 - series = LNCS,
1.39 - volume = 1125,
1.40 - pages = {381-397},
1.41 - year = 1996}
1.42 + crossref = {tphols96},
1.43 + pages = {381-397}}
1.44
1.45 @book{suppes72,
1.46 author = {Patrick Suppes},
1.47 @@ -1508,6 +1517,15 @@
1.48 volume = 2152,
1.49 year = 2001}
1.50
1.51 +@Proceedings{ijcar2006,
1.52 + title = {Automated Reasoning: {IJCAR} 2006},
1.53 + booktitle = {Automated Reasoning: {IJCAR} 2006},
1.54 + editor = {U. Furbach and N. Shankar},
1.55 + publisher = Springer,
1.56 + series = LNCS,
1.57 + volume = 4130,
1.58 + year = 2006}
1.59 +
1.60 @unpublished{classes_modules,
1.61 title = {ML Modules and Haskell Type Classes: A Constructive Comparison},
1.62 author = {Stefan Wehr et. al.}