# HG changeset patch
# User krauss
# Date 1180703911 -7200
# Node ID 6fc9c1eca94d4a49229273ea09f412b66fcda7df
# Parent  f948708bc1005177261c88a01d925b1d4dd1d706
added some bibtex entries

diff -r f948708bc100 -r 6fc9c1eca94d doc-src/manual.bib
--- 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.}