Mercurial Mercurial > repos > isabelle / 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.
src/HOL/Transitive_Closure.thy
changeset 45607 16b4f5774621
parent 45153 93e290c11b0f
child 45976 9dc0d950baa9 
--- a/src/HOL/Transitive_Closure.thy	Sun Nov 20 21:07:06 2011 +0100
+++ b/src/HOL/Transitive_Closure.thy	Sun Nov 20 21:07:10 2011 +0100
@@ -139,7 +139,7 @@
   qed
 qed
 
-lemmas rtrancl_trans = trans_rtrancl [THEN transD, standard]
+lemmas rtrancl_trans = trans_rtrancl [THEN transD]
 
 lemma rtranclp_trans:
   assumes xy: "r^** x y"
@@ -429,7 +429,7 @@
   qed
 qed
 
-lemmas trancl_trans = trans_trancl [THEN transD, standard]
+lemmas trancl_trans = trans_trancl [THEN transD]
 
 lemma tranclp_trans:
   assumes xy: "r^++ x y"
isabelle