# HG changeset patch
# User lcp
# Date 779444784 -7200
# Node ID d5b322b33afbf994287514567f2c388c1fab43c7
# Parent  4da7bd70afe24ed2de7c02a3abf67f0aad390b77
minor updates

diff -r 4da7bd70afe2 -r d5b322b33afb doc-src/ind-defs.bbl
--- a/doc-src/ind-defs.bbl	Mon Sep 12 13:20:07 1994 +0200
+++ b/doc-src/ind-defs.bbl	Tue Sep 13 10:26:24 1994 +0200
@@ -26,7 +26,7 @@
 Camilleri, J., Melham, T.~F.,
 \newblock Reasoning with inductively defined relations in the {HOL} theorem
   prover,
-\newblock Tech. Rep. 265, Comp. Lab., Univ. Cambridge, August 1992
+\newblock Tech. Rep. 265, Comp. Lab., Univ. Cambridge, Aug. 1992
 
 \bibitem{davey&priestley}
 Davey, B.~A., Priestley, H.~A.,
@@ -118,13 +118,12 @@
 \bibitem{paulson-final}
 Paulson, L.~C.,
 \newblock A concrete final coalgebra theorem for {ZF} set theory,
-\newblock Tech. rep., Comp. Lab., Univ. Cambridge, 1994
+\newblock Tech. Rep. 334, Comp. Lab., Univ. Cambridge, 1994
 
 \bibitem{pitts94}
 Pitts, A.~M.,
 \newblock A co-induction principle for recursively defined domains,
-\newblock {\em Theoretical Comput. Sci.\/} (1994),
-\newblock In press; available as Report 252, Comp. Lab., Univ. Cambridge
+\newblock {\em Theoretical Comput. Sci. {\bf 124}\/} (1994), 195--219
 
 \bibitem{saaltink-fme}
 Saaltink, M., Kromodimoeljo, S., Pase, B., Craigen, D., Meisels, I.,