author | lcp |
Tue, 25 Jul 1995 16:43:55 +0200 | |
changeset 1184 | 94ada3b54caa |
parent 1183 | b666aabe866b |
child 1185 | 9968989790e2 |
--- a/doc-src/ind-defs.bbl Tue Jul 25 16:34:22 1995 +0200 +++ b/doc-src/ind-defs.bbl Tue Jul 25 16:43:55 1995 +0200 @@ -113,7 +113,8 @@ \bibitem{paulson-set-II} Paulson, L.~C., \newblock Set theory for verification: {II}. {Induction} and recursion, -\newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993 +\newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993, +\newblock To appear in J. Auto. Reas. \bibitem{paulson-final} Paulson, L.~C.,