doc-src/ind-defs.bbl
changeset 1184 94ada3b54caa
parent 606 d5b322b33afb
child 1444 23ceb1dc9755
equal deleted inserted replaced
1183:b666aabe866b 1184:94ada3b54caa
   111 \newblock {\em J. Auto. Reas. {\bf 11}}, 3 (1993), 353--389
   111 \newblock {\em J. Auto. Reas. {\bf 11}}, 3 (1993), 353--389
   112 
   112 
   113 \bibitem{paulson-set-II}
   113 \bibitem{paulson-set-II}
   114 Paulson, L.~C.,
   114 Paulson, L.~C.,
   115 \newblock Set theory for verification: {II}. {Induction} and recursion,
   115 \newblock Set theory for verification: {II}. {Induction} and recursion,
   116 \newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993
   116 \newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993,
       
   117 \newblock To appear in J. Auto. Reas.
   117 
   118 
   118 \bibitem{paulson-final}
   119 \bibitem{paulson-final}
   119 Paulson, L.~C.,
   120 Paulson, L.~C.,
   120 \newblock A concrete final coalgebra theorem for {ZF} set theory,
   121 \newblock A concrete final coalgebra theorem for {ZF} set theory,
   121 \newblock Tech. Rep. 334, Comp. Lab., Univ. Cambridge, 1994
   122 \newblock Tech. Rep. 334, Comp. Lab., Univ. Cambridge, 1994