
diff -r 7fe2a20017c0 -r f9e0d3274c14 prio/CpsG.thy
--- a/prio/CpsG.thy	Mon Feb 27 18:53:53 2012 +0000
+++ b/prio/CpsG.thy	Tue Feb 28 13:13:32 2012 +0000
@@ -2,6 +2,7 @@
 imports PrioG 
 begin
 
+
 lemma not_thread_holdents:
   fixes th s
   assumes vt: "vt s"




