# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1393947024 0
# Node ID da7a6ccfa7a9a701c0ddc25ae63e1f5d68b45fa4
# Parent  a9c0eeb00cc38782d94aab8c26d86847ef195fc7
updated

diff -r a9c0eeb00cc3 -r da7a6ccfa7a9 Journal/Paper.thy
--- a/Journal/Paper.thy	Tue Mar 04 15:27:59 2014 +0000
+++ b/Journal/Paper.thy	Tue Mar 04 15:30:24 2014 +0000
@@ -157,7 +157,7 @@
   the priority it had at the point of entry into the critical section''.
   
   While \cite{book} and
-  \cite{Sha90} are the only formal publication we have 
+  \cite{Sha90} are the only formal publications we have 
   found that describe the incorrect behaviour, not all, but many
   informal\footnote{informal as in ``found on the Web''} 
   descriptions of PIP overlook the possibility that another
diff -r a9c0eeb00cc3 -r da7a6ccfa7a9 journal.pdf
Binary file journal.pdf has changed