--- a/doc-src/manual.bib Fri Jun 01 15:14:05 2007 +0200
+++ b/doc-src/manual.bib Fri Jun 01 15:18:31 2007 +0200
@@ -225,6 +225,14 @@
pages = {381-392},
year = 1972}
+@InProceedings{bulwahnKN07,
+ author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
+ title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
+ booktitle = {TPHOLS 2007},
+ year = {2007},
+ publisher = Springer,
+ note = {To appear}}
+
@Article{ban89,
author = {M. Burrows and M. Abadi and R. M. Needham},
title = {A Logic of Authentication},
@@ -563,6 +571,12 @@
volume = 27,
pages = {97-109}}
+@InProceedings{krauss2006,
+ author = {Alexander Krauss},
+ title = {Partial Recursive Functions in {Higher-Order Logic}},
+ crossref = {ijcar2006},
+ pages = {589--603}}
+
@Book{kunen80,
author = {Kenneth Kunen},
title = {Set Theory: An Introduction to Independence Proofs},
@@ -1139,13 +1153,8 @@
@inproceedings{slind-tfl,
author = {Konrad Slind},
title = {Function Definition in Higher Order Logic},
- booktitle = {Theorem Proving in Higher Order Logics},
- editor = {J. von Wright and J. Grundy and J. Harrison},
- publisher = Springer,
- series = LNCS,
- volume = 1125,
- pages = {381-397},
- year = 1996}
+ crossref = {tphols96},
+ pages = {381-397}}
@book{suppes72,
author = {Patrick Suppes},
@@ -1508,6 +1517,15 @@
volume = 2152,
year = 2001}
+@Proceedings{ijcar2006,
+ title = {Automated Reasoning: {IJCAR} 2006},
+ booktitle = {Automated Reasoning: {IJCAR} 2006},
+ editor = {U. Furbach and N. Shankar},
+ publisher = Springer,
+ series = LNCS,
+ volume = 4130,
+ year = 2006}
+
@unpublished{classes_modules,
title = {ML Modules and Haskell Type Classes: A Constructive Comparison},
author = {Stefan Wehr et. al.}