1.1 --- a/doc-src/manual.bib Fri Oct 19 10:05:21 2007 +0200
1.2 +++ b/doc-src/manual.bib Fri Oct 19 10:44:45 2007 +0200
1.3 @@ -226,12 +226,11 @@
1.4 year = 1972}
1.5
1.6 @InProceedings{bulwahnKN07,
1.7 - author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
1.8 - title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
1.9 - booktitle = {TPHOLS 2007},
1.10 - year = {2007},
1.11 - publisher = Springer,
1.12 - note = {To appear}}
1.13 + author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow},
1.14 + title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}},
1.15 + crossref = {tphols2007},
1.16 + pages = {38--53}
1.17 +}
1.18
1.19 @Article{ban89,
1.20 author = {M. Burrows and M. Abadi and R. M. Needham},
1.21 @@ -1575,6 +1574,15 @@
1.22 volume = 4130,
1.23 year = 2006}
1.24
1.25 +@Proceedings{tphols2007,
1.26 + title = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007},
1.27 + booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007},
1.28 + editor = {K. Schneider and J. Brandt},
1.29 + publisher = Springer,
1.30 + series = LNCS,
1.31 + volume = 4732,
1.32 + year = 2007}
1.33 +
1.34 @unpublished{classes_modules,
1.35 title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
1.36 author = {Stefan Wehr et. al.}