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/CpsG.thy
changeset 347 73127f5db18f
parent 340 0244e76df2ca
child 351 e6b13c7b9494 
--- 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"
regexp