--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Word/document/root.bib Mon Nov 05 21:05:03 2007 +0100
@@ -0,0 +1,14 @@
+@InProceedings{dawson-avocs07,
+ author = {Jeremy Dawson},
+ title = {Isabelle Theories for Machine Words},
+ booktitle = {Seventh International Workshop on Automated Verification of Critical Systems (AVOCS'07)},
+ pages = {15},
+ year = {2007},
+ editor = {Michael Goldsmith and Bill Roscoe},
+ series = {Electronic Notes in Theoretical Computer Science},
+ address = {Oxford},
+ month = Sep,
+ publisher = {Elsevier},
+ note = {to appear},
+}
+