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},