Updated references
authorpaulson
Thu Jul 03 17:10:50 1997 +0200 (1997-07-03)
changeset 348832f90fe0f3f9
parent 3487 62a6a08471e4
child 3489 afa802078173
Updated references
doc-src/Logics/logics.bbl
     1.1 --- a/doc-src/Logics/logics.bbl	Thu Jul 03 13:44:54 1997 +0200
     1.2 +++ b/doc-src/Logics/logics.bbl	Thu Jul 03 17:10:50 1997 +0200
     1.3 @@ -139,9 +139,7 @@
     1.4  \bibitem{nazareth-nipkow}
     1.5  Dieter Nazareth and Tobias Nipkow.
     1.6  \newblock Formal verification of algorithm {W}: The monomorphic case.
     1.7 -\newblock In J.~von Wright, J.~Grundy, and J.~Harrison, editors, {\em Theorem
     1.8 -  Proving in Higher Order Logics: {TPHOLs} '96}, LNCS 1125, pages 331--345,
     1.9 -  1996.
    1.10 +\newblock In von Wright et~al. \cite{tphols96}, pages 331--345.
    1.11  
    1.12  \bibitem{Nipkow-CR}
    1.13  Tobias Nipkow.
    1.14 @@ -214,9 +212,8 @@
    1.15  \bibitem{paulson-security}
    1.16  Lawrence~C. Paulson.
    1.17  \newblock Proving properties of security protocols by induction.
    1.18 -\newblock In {\em 10th Computer Security Foundations Workshop}. IEEE Computer
    1.19 -  Society Press, 1997.
    1.20 -\newblock In press.
    1.21 +\newblock In {\em 10th Computer Security Foundations Workshop}, pages 70--83.
    1.22 +  IEEE Computer Society Press, 1997.
    1.23  
    1.24  \bibitem{paulson-COLOG}
    1.25  Lawrence~C. Paulson.
    1.26 @@ -248,6 +245,11 @@
    1.27  \newblock Automated deduction in {von Neumann-Bernays-G\"{o}del} set theory.
    1.28  \newblock {\em Journal of Automated Reasoning}, 8(1):91--147, 1992.
    1.29  
    1.30 +\bibitem{slind-tfl}
    1.31 +Konrad Slind.
    1.32 +\newblock Function definition in higher-order logic.
    1.33 +\newblock In von Wright et~al. \cite{tphols96}.
    1.34 +
    1.35  \bibitem{suppes72}
    1.36  Patrick Suppes.
    1.37  \newblock {\em Axiomatic Set Theory}.
    1.38 @@ -263,6 +265,11 @@
    1.39  \newblock {\em Type Theory and Functional Programming}.
    1.40  \newblock Addison-Wesley, 1991.
    1.41  
    1.42 +\bibitem{tphols96}
    1.43 +J.~von Wright, J.~Grundy, and J.~Harrison, editors.
    1.44 +\newblock {\em Theorem Proving in Higher Order Logics: {TPHOLs} '96}, LNCS
    1.45 +  1125, 1996.
    1.46 +
    1.47  \bibitem{principia}
    1.48  A.~N. Whitehead and B.~Russell.
    1.49  \newblock {\em Principia Mathematica}.