
diff -r 64c9f151acf5 -r a5dd2c966cbe prio/PrioG.thy
--- a/prio/PrioG.thy	Thu Feb 09 15:00:19 2012 +0000
+++ b/prio/PrioG.thy	Thu Feb 09 16:34:18 2012 +0000
@@ -770,6 +770,7 @@
 qed
 
 lemma step_depend_v:
+fixes th::thread
 assumes vt:
   "vt step (V th cs#s)"
 shows "




