diff -r 731171c27be9 -r 1764a81b7a0a doc-src/TutorialI/IsarOverview/Isar/document/root.bib
--- a/doc-src/TutorialI/IsarOverview/Isar/document/root.bib	Sun Dec 29 18:31:31 2002 +0100
+++ b/doc-src/TutorialI/IsarOverview/Isar/document/root.bib	Sun Dec 29 23:12:39 2002 +0100
@@ -1,5 +1,6 @@
 @string{LNCS="Lect.\ Notes in Comp.\ Sci."}
 @string{Springer="Springer-Verlag"}
+@string{JAR="J. Automated Reasoning"}
 
 @InProceedings{BauerW-TPHOLs01,
 author={Gertrud Bauer and Markus Wenzel},
@@ -45,6 +46,7 @@
 year=2002,
 note={\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
 
-@unpublished{WenzelW-JAR,author={Markus Wenzel and Freek Wiedijk},
+@article{WenzelW-JAR,author={Markus Wenzel and Freek Wiedijk},
 title={A comparison of the mathematical proof languages {Mizar} and {Isar}},
-note={Submitted for publication},year=2002}
+journal=JAR,year=2003,note={To appear}}
+