equal
deleted
inserted
replaced
69 author = {Lawrence C. Paulson}, |
69 author = {Lawrence C. Paulson}, |
70 title = {A Simple Formalization and Proof for the Mutilated Chess Board}, |
70 title = {A Simple Formalization and Proof for the Mutilated Chess Board}, |
71 institution = CUCL, |
71 institution = CUCL, |
72 year = 1996, |
72 year = 1996, |
73 number = 394, |
73 number = 394, |
74 note = {\url{http://www.ftp.cl.cam.ac.uk/ftp/papers/reports/}} |
74 note = {\url{http://www.cl.cam.ac.uk/users/lcp/papers/Reports/mutil.pdf}} |
75 } |
75 } |
76 |
76 |
77 @Proceedings{tphols98, |
77 @Proceedings{tphols98, |
78 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '98}, |
78 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '98}, |
79 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '98}, |
79 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '98}, |