Added JAR paper by Wenzel and Wiedijk.
authorberghofe
Tue Nov 13 11:04:30 2007 +0100 (2007-11-13)
changeset 254267ab693b8ee87
parent 25425 9191942c4ead
child 25427 8ba39d2d9d0b
Added JAR paper by Wenzel and Wiedijk.
src/HOL/Extraction/document/root.bib
     1.1 --- a/src/HOL/Extraction/document/root.bib	Tue Nov 13 11:02:55 2007 +0100
     1.2 +++ b/src/HOL/Extraction/document/root.bib	Tue Nov 13 11:04:30 2007 +0100
     1.3 @@ -27,3 +27,13 @@
     1.4    series = 	 {Electronic Notes in Theoretical Computer Science},
     1.5    publisher =	 {Elsevier Science Publishers}
     1.6  }
     1.7 +
     1.8 +@Article{Wenzel-Wiedijk-JAR2002,
     1.9 +  author = 	 {Markus Wenzel and Freek Wiedijk},
    1.10 +  title = 	 {A comparison of the mathematical proof languages {M}izar and {I}sar},
    1.11 +  journal = 	 {Journal of Automated Reasoning},
    1.12 +  year = 	 2002,
    1.13 +  volume =	 29,
    1.14 +  number =	 {3-4},
    1.15 +  pages =	 {389-411}
    1.16 +}