# HG changeset patch
# User paulson
# Date 909153993 -7200
# Node ID a53ffabc6804bf78a4edc9c0ec01a8ba892e5bab
# Parent  9e73738f2307586342c9ecdf3f3679a6abf5a928
updated as requested by Markus

diff -r 9e73738f2307 -r a53ffabc6804 doc-src/Logics/logics.bbl
--- a/doc-src/Logics/logics.bbl	Fri Oct 23 16:44:50 1998 +0200
+++ b/doc-src/Logics/logics.bbl	Fri Oct 23 16:46:33 1998 +0200
@@ -136,6 +136,13 @@
 \newblock Co-induction in relational semantics.
 \newblock {\em Theoretical Computer Science}, 87:209--220, 1991.
 
+\bibitem{Naraschewski-Wenzel:1998:TPHOL}
+Wolfgang Naraschewski and Markus Wenzel.
+\newblock Object-oriented verification based on record subtyping in
+  higher-order logic.
+\newblock In J.~Grundy and M.~Newey, editors, {\em Theorem Proving in Higher
+  Order Logics: {TPHOLs} '98}, LNCS 1479, pages 349--366, 1998.
+
 \bibitem{nazareth-nipkow}
 Dieter Nazareth and Tobias Nipkow.
 \newblock Formal verification of algorithm {W}: The monomorphic case.