src/HOL/ex/document/root.bib

--- a/src/HOL/ex/document/root.bib	Thu Apr 15 13:04:50 2004 +0200
+++ b/src/HOL/ex/document/root.bib	Thu Apr 15 14:17:45 2004 +0200
@@ -7,6 +7,11 @@
   number =       68
 }
 
+@inproceedings{HuttonW04,author={Graham Hutton and Joel Wright},
+title={Compiling Exceptions Correctly},
+booktitle={Proc.\ Conf.\ Mathematics of Program Construction},
+year=2004,note={To appear}}
+
 @InProceedings{Kamm-et-al:1999,
   author =       {Florian Kamm{\"u}ller and Markus Wenzel and
                   Lawrence C. Paulson},