| changeset 25403 | 359b179fc963 |
| parent 13999 | 454a2ad0c381 |
| child 25427 | 8ba39d2d9d0b |
--- a/doc-src/IsarOverview/Isar/document/root.bib Sun Nov 11 17:18:38 2007 +0100 +++ b/doc-src/IsarOverview/Isar/document/root.bib Sun Nov 11 19:41:26 2007 +0100 @@ -48,5 +48,5 @@ @article{WenzelW-JAR,author={Markus Wenzel and Freek Wiedijk}, title={A comparison of the mathematical proof languages {Mizar} and {Isar}}, -journal=JAR,year=2003,note={To appear}} +journal=JAR,year=2002,pages={389--411}}