# HG changeset patch
# User paulson
# Date 867942650 -7200
# Node ID 32f90fe0f3f9bd9ef1791640f413f02df4dd8f6b
# Parent  62a6a08471e4739a04e9f1804dedf05ce1a81bdb
Updated references

diff -r 62a6a08471e4 -r 32f90fe0f3f9 doc-src/Logics/logics.bbl
--- a/doc-src/Logics/logics.bbl	Thu Jul 03 13:44:54 1997 +0200
+++ b/doc-src/Logics/logics.bbl	Thu Jul 03 17:10:50 1997 +0200
@@ -139,9 +139,7 @@
 \bibitem{nazareth-nipkow}
 Dieter Nazareth and Tobias Nipkow.
 \newblock Formal verification of algorithm {W}: The monomorphic case.
-\newblock In J.~von Wright, J.~Grundy, and J.~Harrison, editors, {\em Theorem
-  Proving in Higher Order Logics: {TPHOLs} '96}, LNCS 1125, pages 331--345,
-  1996.
+\newblock In von Wright et~al. \cite{tphols96}, pages 331--345.
 
 \bibitem{Nipkow-CR}
 Tobias Nipkow.
@@ -214,9 +212,8 @@
 \bibitem{paulson-security}
 Lawrence~C. Paulson.
 \newblock Proving properties of security protocols by induction.
-\newblock In {\em 10th Computer Security Foundations Workshop}. IEEE Computer
-  Society Press, 1997.
-\newblock In press.
+\newblock In {\em 10th Computer Security Foundations Workshop}, pages 70--83.
+  IEEE Computer Society Press, 1997.
 
 \bibitem{paulson-COLOG}
 Lawrence~C. Paulson.
@@ -248,6 +245,11 @@
 \newblock Automated deduction in {von Neumann-Bernays-G\"{o}del} set theory.
 \newblock {\em Journal of Automated Reasoning}, 8(1):91--147, 1992.
 
+\bibitem{slind-tfl}
+Konrad Slind.
+\newblock Function definition in higher-order logic.
+\newblock In von Wright et~al. \cite{tphols96}.
+
 \bibitem{suppes72}
 Patrick Suppes.
 \newblock {\em Axiomatic Set Theory}.
@@ -263,6 +265,11 @@
 \newblock {\em Type Theory and Functional Programming}.
 \newblock Addison-Wesley, 1991.
 
+\bibitem{tphols96}
+J.~von Wright, J.~Grundy, and J.~Harrison, editors.
+\newblock {\em Theorem Proving in Higher Order Logics: {TPHOLs} '96}, LNCS
+  1125, 1996.
+
 \bibitem{principia}
 A.~N. Whitehead and B.~Russell.
 \newblock {\em Principia Mathematica}.