--- a/PIPDefs.thy	Thu Sep 21 14:33:13 2017 +0100
+++ b/PIPDefs.thy	Fri Sep 22 03:08:30 2017 +0100
@@ -162,6 +162,7 @@
 definition
   "waiting_raw wq thread cs \<equiv> (thread \<in> set (wq cs) \<and> thread \<noteq> hd (wq cs))"
 
+  
 text {* 
 
   Resource Allocation Graphs (RAG for short) are used extensively in our