# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1359512987 0
# Node ID 860f05037c36e704d8131f37d948f49bc56984dc
# Parent  d6f04e3e98945512c7ba40a2c517c005f1d60829
updated paper

diff -r d6f04e3e9894 -r 860f05037c36 Paper/Paper.thy
--- a/Paper/Paper.thy	Wed Jan 30 02:26:56 2013 +0000
+++ b/Paper/Paper.thy	Wed Jan 30 02:29:47 2013 +0000
@@ -610,7 +610,7 @@
   \node [anchor=base] at (2.2,0.1) {\small$\Rightarrow$};
   \node [anchor=base] at (5.6,0.1) {\small$\Rightarrow$};
   \node [anchor=base] at (10.5,0.1) {\small$\Rightarrow$};
-  \node [anchor=base] at (2.2,-0.6) {\small$\overbrace{@{term "tcopy_init"}}^{}$};
+  \node [anchor=base] at (2.2,-0.6) {\small$\overbrace{@{term "tcopy_begin"}}^{}$};
   \node [anchor=base] at (5.6,-0.6) {\small$\overbrace{@{term "tcopy_loop"}}^{}$};
   \node [anchor=base] at (10.5,-0.6) {\small$\overbrace{@{term "tcopy_end"}}^{}$};
 
diff -r d6f04e3e9894 -r 860f05037c36 paper.pdf
Binary file paper.pdf has changed