author | wenzelm |
Fri, 29 Oct 1999 19:24:20 +0200 | |
changeset 7977 | 67bfcd3a433c |
parent 7976 | 8005c92a85d7 |
child 7978 | 1b99ee57d131 |
1.1 --- a/src/HOL/Isar_examples/document/root.bib Fri Oct 29 19:00:51 1999 +0200 1.2 +++ b/src/HOL/Isar_examples/document/root.bib Fri Oct 29 19:24:20 1999 +0200 1.3 @@ -43,7 +43,7 @@ 1.4 institution = CUCL, 1.5 year = 1996, 1.6 number = 394, 1.7 - note = {\url{http://www.ftp.cl.cam.ac.uk/ftp/papers/reports/TR394-lcp-mutilated-chess-board.pdf}} 1.8 + note = {\url{http://www.ftp.cl.cam.ac.uk/ftp/papers/reports/}} 1.9 } 1.10 1.11 @Proceedings{tphols99,