Automatic update
authorpaulson
Fri Apr 18 11:47:11 1997 +0200 (1997-04-18)
changeset 2981aa5aeb6467c6
parent 2980 98ad57d99427
child 2982 85c81d524655
Automatic update
doc-src/ind-defs.bbl
     1.1 --- a/doc-src/ind-defs.bbl	Thu Apr 17 19:05:01 1997 +0200
     1.2 +++ b/doc-src/ind-defs.bbl	Fri Apr 18 11:47:11 1997 +0200
     1.3 @@ -156,8 +156,7 @@
     1.4  \bibitem{paulson-coind}
     1.5  Paulson, L.~C.,
     1.6  \newblock Mechanizing coinduction and corecursion in higher-order logic,
     1.7 -\newblock {\em J. Logic and Comput. {\bf 7}}, 2 (Mar. 1997),
     1.8 -\newblock In press
     1.9 +\newblock {\em J. Logic and Comput. {\bf 7}}, 2 (Mar. 1997), 175--204
    1.10  
    1.11  \bibitem{paulson-final}
    1.12  Paulson, L.~C.,
    1.13 @@ -190,8 +189,8 @@
    1.14  \bibitem{slind-tfl}
    1.15  Slind, K.,
    1.16  \newblock Function definition in higher-order logic,
    1.17 -\newblock In {\em Theorem Proving in Higher Order Logics\/} (1996), J.~von
    1.18 -  Wright, J.~Grundy, J.~Harrison, Eds., LNCS 1125
    1.19 +\newblock In {\em Theorem Proving in Higher Order Logics: {TPHOLs} '96\/}
    1.20 +  (1996), J.~von Wright, J.~Grundy, J.~Harrison, Eds., LNCS 1125
    1.21  
    1.22  \bibitem{szasz93}
    1.23  Szasz, N.,