| Wed, 01 Jul 2015 13:09:56 +0200 | immler | taylor series with has_integral and integrable_on | file | diff | annotate |
| Tue, 30 Jun 2015 13:56:16 +0100 | paulson | Useful lemmas. The theorem concerning swapping the variables in a double integral. | file | diff | annotate |
| Fri, 26 Jun 2015 10:20:33 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Tue, 16 Jun 2015 20:50:00 +0100 | paulson | another messy proof fixed | file | diff | annotate |
| Mon, 15 Jun 2015 21:33:26 +0100 | paulson | inverted another messy proof | file | diff | annotate |
| Sun, 14 Jun 2015 18:51:34 +0100 | paulson | another tangled proof | file | diff | annotate |
| Sun, 14 Jun 2015 17:05:27 +0100 | paulson | Tidied up more proofs | file | diff | annotate |
| Sun, 14 Jun 2015 14:25:01 +0100 | paulson | another proof | file | diff | annotate |
| Sun, 14 Jun 2015 12:48:32 +0100 | paulson | fixing more proofs | file | diff | annotate |
| Sat, 13 Jun 2015 22:48:47 +0100 | paulson | fixed another horrible proof | file | diff | annotate |
| Sat, 13 Jun 2015 19:23:41 +0100 | paulson | streamlined many more proofs | file | diff | annotate |
| Sat, 13 Jun 2015 12:30:12 +0100 | paulson | tidied more proofs | file | diff | annotate |
| Sat, 13 Jun 2015 00:33:14 +0100 | paulson | proof tidying | file | diff | annotate |
| Thu, 11 Jun 2015 21:41:55 +0100 | paulson | fixed several "inside-out" proofs | file | diff | annotate |
| Thu, 11 Jun 2015 00:12:27 +0100 | paulson | tidied more proofs | file | diff | annotate |