equal
deleted
inserted
replaced
191 |
191 |
192 \bibitem{paulson-CADE} |
192 \bibitem{paulson-CADE} |
193 Lawrence~C. Paulson. |
193 Lawrence~C. Paulson. |
194 \newblock A fixedpoint approach to implementing (co)inductive definitions. |
194 \newblock A fixedpoint approach to implementing (co)inductive definitions. |
195 \newblock In Alan Bundy, editor, {\em 12th International Conference on |
195 \newblock In Alan Bundy, editor, {\em 12th International Conference on |
196 Automated Deduction}, volume 814, pages 148--161. Springer, 1994. |
196 Automated Deduction}, pages 148--161. Springer, 1994. |
|
197 \newblock LNAI 814. |
197 |
198 |
198 \bibitem{paulson-COLOG} |
199 \bibitem{paulson-COLOG} |
199 Lawrence~C. Paulson. |
200 Lawrence~C. Paulson. |
200 \newblock A formulation of the simple theory of types (for {Isabelle}). |
201 \newblock A formulation of the simple theory of types (for {Isabelle}). |
201 \newblock In P.~Martin-L\"of and G.~Mints, editors, {\em COLOG-88: |
202 \newblock In P.~Martin-L\"of and G.~Mints, editors, {\em COLOG-88: |