equal
deleted
inserted
replaced
160 J.~C.~P. Woodcock, P.~G. Larsen, Eds., LNCS 670, Springer, pp.~578--596 |
160 J.~C.~P. Woodcock, P.~G. Larsen, Eds., LNCS 670, Springer, pp.~578--596 |
161 |
161 |
162 \bibitem{slind-tfl} |
162 \bibitem{slind-tfl} |
163 Slind, K., |
163 Slind, K., |
164 \newblock Function definition in higher-order logic, |
164 \newblock Function definition in higher-order logic, |
165 \newblock Tech. rep., T. U. Munich, 1996 |
165 \newblock In {\em Theorem Proving in Higher Order Logics\/} (1996), J.~von |
|
166 Wright, Ed., |
|
167 \newblock In press |
166 |
168 |
167 \bibitem{szasz93} |
169 \bibitem{szasz93} |
168 Szasz, N., |
170 Szasz, N., |
169 \newblock A machine checked proof that {Ackermann's} function is not primitive |
171 \newblock A machine checked proof that {Ackermann's} function is not primitive |
170 recursive, |
172 recursive, |