# HG changeset patch # User berghofe # Date 1194948270 -3600 # Node ID 7ab693b8ee87ab8162e9863cc45840368fb8f6e1 # Parent 9191942c4ead998f908859bec19179e0a821446e Added JAR paper by Wenzel and Wiedijk. diff -r 9191942c4ead -r 7ab693b8ee87 src/HOL/Extraction/document/root.bib --- a/src/HOL/Extraction/document/root.bib Tue Nov 13 11:02:55 2007 +0100 +++ b/src/HOL/Extraction/document/root.bib Tue Nov 13 11:04:30 2007 +0100 @@ -27,3 +27,13 @@ series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier Science Publishers} } + +@Article{Wenzel-Wiedijk-JAR2002, + author = {Markus Wenzel and Freek Wiedijk}, + title = {A comparison of the mathematical proof languages {M}izar and {I}sar}, + journal = {Journal of Automated Reasoning}, + year = 2002, + volume = 29, + number = {3-4}, + pages = {389-411} +}