Mercurial Mercurial > hg > regexp / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prio/PrioG.thy
changeset 290 6a6d0bd16035
parent 289 a5dd2c966cbe
child 291 5ef9f6ebe827 
--- a/prio/PrioG.thy	Thu Feb 09 16:34:18 2012 +0000
+++ b/prio/PrioG.thy	Fri Feb 10 11:30:47 2012 +0000
@@ -2071,7 +2071,7 @@
   from wq_threads [OF vt this] show ?thesis .
 qed
 
-lemma cp_eq_cpreced: "cp s th = cpreced s (wq s) th"
+lemma cp_eq_cpreced: "cp s th = cpreced (wq s) s th"
 proof(unfold cp_def wq_def, induct s)
   case (Cons e s')
   show ?case
regexp