
diff -r 61bd5d99c3ab -r 73127f5db18f prio/CpsG.thy
--- a/prio/CpsG.thy	Tue Apr 17 15:55:37 2012 +0000
+++ b/prio/CpsG.thy	Fri Apr 20 11:27:49 2012 +0000
@@ -2,7 +2,6 @@
 imports PrioG 
 begin
 
-
 lemma not_thread_holdents:
   fixes th s
   assumes vt: "vt s"




