diff -r f676a68935a0 -r fc83f79009bd Journal/Paper.thy
--- a/Journal/Paper.thy	Tue Jul 15 17:25:53 2014 +0200
+++ b/Journal/Paper.thy	Wed Sep 09 11:24:19 2015 +0100
@@ -1157,9 +1157,9 @@
   a standard scheduling operation implemented in most operating
   systems.
 
-  \begin{proof}[of Lemma~\ref{childrenlem}]
-  Test
-  \end{proof}
+  %\begin{proof}[of Lemma~\ref{childrenlem}]
+  %Test
+  %\end{proof}
 
   Of course the main work for implementing PIP involves the
   scheduler and coding how it should react to events.  Below we