Mercurial Mercurial > hg > regexp / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
attempt to fix problem by Xingyuan
authorurbanc
Thu, 09 Feb 2012 16:34:18 +0000
changeset 289 a5dd2c966cbe
parent 288 64c9f151acf5
child 290 6a6d0bd16035
attempt to fix problem by Xingyuan
prio/PrioG.thy file | annotate | diff | comparison | revisions 
--- 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 "
regexp