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/Transcendental.thy
changeset 43335 9f8766a8ebe0
parent 41970 47d6e13d1710
child 44282 f0de18b62d63 
--- a/src/HOL/Transcendental.thy	Thu Jun 09 10:43:42 2011 +0200
+++ b/src/HOL/Transcendental.thy	Tue May 31 21:33:49 2011 +0200
@@ -1366,7 +1366,7 @@
 
 declare
   DERIV_exp[THEN DERIV_chain2, THEN DERIV_cong, DERIV_intros]
-  DERIV_ln[THEN DERIV_chain2, THEN DERIV_cong, DERIV_intros]
+  DERIV_ln_divide[THEN DERIV_chain2, THEN DERIV_cong, DERIV_intros]
   DERIV_sin[THEN DERIV_chain2, THEN DERIV_cong, DERIV_intros]
   DERIV_cos[THEN DERIV_chain2, THEN DERIV_cong, DERIV_intros]
isabelle