equal
deleted
inserted
replaced
165 \newblock In Dybjer et~al. \cite{types94}, pp.~120--139 |
165 \newblock In Dybjer et~al. \cite{types94}, pp.~120--139 |
166 |
166 |
167 \bibitem{paulson-gr} |
167 \bibitem{paulson-gr} |
168 Paulson, L.~C., Gr\c{a}bczewski, K., |
168 Paulson, L.~C., Gr\c{a}bczewski, K., |
169 \newblock Mechanizing set theory: Cardinal arithmetic and the axiom of choice, |
169 \newblock Mechanizing set theory: Cardinal arithmetic and the axiom of choice, |
170 \newblock {\em J. Auto. Reas.\/} (1996), |
170 \newblock {\em J. Auto. Reas. {\bf 17}}, 3 (Dec. 1996), 291--323 |
171 \newblock In press |
|
172 |
171 |
173 \bibitem{pitts94} |
172 \bibitem{pitts94} |
174 Pitts, A.~M., |
173 Pitts, A.~M., |
175 \newblock A co-induction principle for recursively defined domains, |
174 \newblock A co-induction principle for recursively defined domains, |
176 \newblock {\em Theoretical Comput. Sci. {\bf 124}\/} (1994), 195--219 |
175 \newblock {\em Theoretical Comput. Sci. {\bf 124}\/} (1994), 195--219 |