summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

src/HOL/Isar_examples/document/root.bib

changeset 7977 | 67bfcd3a433c |

parent 7968 | 964b65b4e433 |

child 8051 | 5724bea1da53 |

equal
deleted
inserted
replaced

7976:8005c92a85d7 | 7977:67bfcd3a433c |
---|---|

41 author = {Lawrence C. Paulson}, |
41 author = {Lawrence C. Paulson}, |

42 title = {A Simple Formalization and Proof for the Mutilated Chess Board}, |
42 title = {A Simple Formalization and Proof for the Mutilated Chess Board}, |

43 institution = CUCL, |
43 institution = CUCL, |

44 year = 1996, |
44 year = 1996, |

45 number = 394, |
45 number = 394, |

46 note = {\url{http://www.ftp.cl.cam.ac.uk/ftp/papers/reports/TR394-lcp-mutilated-chess-board.pdf}} |
46 note = {\url{http://www.ftp.cl.cam.ac.uk/ftp/papers/reports/}} |

47 } |
47 } |

48 |
48 |

49 @Proceedings{tphols99, |
49 @Proceedings{tphols99, |

50 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
50 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |

51 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
51 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |