equal
deleted
inserted
replaced
159 \bibitem{paulson-markt} |
159 \bibitem{paulson-markt} |
160 Paulson, L.~C., |
160 Paulson, L.~C., |
161 \newblock Tool support for logics of programs, |
161 \newblock Tool support for logics of programs, |
162 \newblock In {\em Mathematical Methods in Program Development: Summer School |
162 \newblock In {\em Mathematical Methods in Program Development: Summer School |
163 Marktoberdorf 1996}, M.~Broy, Ed., NATO ASI Series F. Springer, Published |
163 Marktoberdorf 1996}, M.~Broy, Ed., NATO ASI Series F. Springer, Published |
164 1997, |
164 1997, pp.~461--498 |
165 \newblock In press |
|
166 |
165 |
167 \bibitem{paulson-gr} |
166 \bibitem{paulson-gr} |
168 Paulson, L.~C., Gr\c{a}bczewski, K., |
167 Paulson, L.~C., Gr\c{a}bczewski, K., |
169 \newblock Mechanizing set theory: Cardinal arithmetic and the axiom of choice, |
168 \newblock Mechanizing set theory: Cardinal arithmetic and the axiom of choice, |
170 \newblock {\em J. Auto. Reas. {\bf 17}}, 3 (Dec. 1996), 291--323 |
169 \newblock {\em J. Auto. Reas. {\bf 17}}, 3 (Dec. 1996), 291--323 |