doc-src/ind-defs.bbl
changeset 1838 91e0395adc72
parent 1682 dd1ced7f1ff1
child 1871 82246f607d7f
equal deleted inserted replaced
1837:ce5dc74dec97 1838:91e0395adc72
   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,