| Fri, 19 Aug 2011 18:06:27 -0700 | huffman | remove redundant lemma lemma_DERIV_subst in favor of DERIV_cong | file | diff | annotate |
| Sun, 13 Mar 2011 22:55:50 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Mon, 08 Feb 2010 17:12:38 +0100 | haftmann | renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields | file | diff | annotate |
| Tue, 30 Jun 2009 18:21:55 +0200 | hoelzl | use DERIV_intros | file | diff | annotate |
| Wed, 04 Mar 2009 17:12:23 -0800 | huffman | declare power_Suc [simp]; remove redundant type-specific versions of power_Suc | file | diff | annotate |
| Wed, 18 Feb 2009 19:32:26 -0800 | huffman | split polynomial-related stuff from Deriv.thy into Library/Poly_Deriv.thy | file | diff | annotate |