--- 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