# HG changeset patch
# User urbanc
# Date 1337859423 0
# Node ID b10f8db1e907294c5098241330a8bd4b51cc0697
# Parent  48906e9a9a508f6c908a6148c200bcae630ac49d
small typo in the itp-12 paper

diff -r 48906e9a9a50 -r b10f8db1e907 prio/Paper/Paper.thy
--- a/prio/Paper/Paper.thy	Fri May 11 13:26:50 2012 +0000
+++ b/prio/Paper/Paper.thy	Thu May 24 11:37:03 2012 +0000
@@ -547,8 +547,8 @@
   \end{tabular}
   \end{isabelle}
 
-  \noindent
-  The second definition states that @{text th}  in @{text s}.
+  %\noindent
+  %The second definition states that @{text th}  in @{text s}.
   
   Finally we can define what a \emph{valid state} is in our model of PIP. For
   example we cannot expect to be able to exit a thread, if it was not
diff -r 48906e9a9a50 -r b10f8db1e907 prio/paper.pdf
Binary file prio/paper.pdf has changed