# HG changeset patch
# User kleing
# Date 1194293103 -3600
# Node ID 0dffa8398915e9efc0729103a805b61c8d736d57
# Parent  f082e59551b0a06923d653fd3a526345ea856800
cite Jeremy's avocs article

diff -r f082e59551b0 -r 0dffa8398915 src/HOL/Word/document/root.bib
--- /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},
+}
+