| Fri, 11 Apr 2014 13:36:57 +0200 | nipkow | made mult_nonneg_nonneg a simp rule | file | diff | annotate |
| Thu, 03 Apr 2014 17:56:08 +0200 | hoelzl | merged DERIV_intros, has_derivative_intros into derivative_intros | file | diff | annotate |
| Wed, 02 Apr 2014 18:35:07 +0200 | hoelzl | extend continuous_intros; remove continuous_on_intros and isCont_intros | file | diff | annotate |
| Mon, 31 Mar 2014 17:17:37 +0200 | hoelzl | tuned proofs | file | diff | annotate |
| Wed, 19 Mar 2014 18:47:22 +0100 | haftmann | elongated INFI and SUPR, to reduced risk of confusing theorems names in the future while still being consistent with INTER and UNION | file | diff | annotate |
| Tue, 18 Mar 2014 15:53:48 +0100 | hoelzl | cleanup Series: sorted according to typeclass hierarchy, use {..<_} instead of {0..<_} | file | diff | annotate |