# HG changeset patch
# User krauss
# Date 1192783485 -7200
# Node ID 41ec22a00c41335da23a561e642895be8f4361ca
# Parent  1d7616d740958b5ede0bd560d114b31a5b81d350
updated

diff -r 1d7616d74095 -r 41ec22a00c41 doc-src/manual.bib
--- 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.}