# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1362662382 0
# Node ID ebe8fd1fb26f99096b5b130bcb9eca1a95bd7351
# Parent  38ed0ed6de3dba3361fb7044309535e77f3c5bd0
small typo in the paper

diff -r 38ed0ed6de3d -r ebe8fd1fb26f Paper/Paper.thy
--- a/Paper/Paper.thy	Thu Mar 07 11:52:08 2013 +0000
+++ b/Paper/Paper.thy	Thu Mar 07 13:19:42 2013 +0000
@@ -720,7 +720,7 @@
   \begin{tabular}[t]{@ {}l@ {}}
   @{thm (lhs) tcopy_begin_def} @{text "\<equiv>"}\\
   \hspace{2mm}@{text "["}@{text "(W\<^bsub>Bk\<^esub>, 0), (R, 2), (R, 3),"}\\
-  \hspace{2mm}\phantom{@{text "["}}@{text "(R, 2), (W1, 3), (L, 4),"}\\
+  \hspace{2mm}\phantom{@{text "["}}@{text "(R, 2), (W\<^bsub>Oc\<^esub>, 3), (L, 4),"}\\
   \hspace{2mm}\phantom{@{text "["}}@{text "(L, 4), (L, 0)"}@{text "]"} 
   \end{tabular}
   &
diff -r 38ed0ed6de3d -r ebe8fd1fb26f paper.pdf
Binary file paper.pdf has changed