--- a/doc-src/manual.bib Fri Oct 19 10:05:21 2007 +0200
+++ b/doc-src/manual.bib Fri Oct 19 10:44:45 2007 +0200
@@ -226,12 +226,11 @@
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}}
+ author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
+ title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
+ crossref = {tphols2007},
+ pages = {38--53}
+}
@Article{ban89,
author = {M. Burrows and M. Abadi and R. M. Needham},
@@ -1575,6 +1574,15 @@
volume = 4130,
year = 2006}
+@Proceedings{tphols2007,
+ title = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007},
+ booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007},
+ editor = {K. Schneider and J. Brandt},
+ publisher = Springer,
+ series = LNCS,
+ volume = 4732,
+ year = 2007}
+
@unpublished{classes_modules,
title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
author = {Stefan Wehr et. al.}