| Tue, 28 Jul 2015 16:34:08 +0200 | immler | added theory Uniform_Limit | changeset | files |
| Tue, 28 Jul 2015 18:27:39 +0200 | wenzelm | evade timeout problem on macbroy6 (potentially due to NFS oddities); | changeset | files |
| Tue, 28 Jul 2015 17:15:01 +0100 | paulson | tweaks. Got rid of a really slow step | changeset | files |
| Tue, 28 Jul 2015 16:16:13 +0100 | paulson | the Cauchy integral theorem and related material | changeset | files |
| Tue, 28 Jul 2015 13:00:54 +0200 | nipkow | depth -> height; removed del_rightmost (too specifi) | changeset | files |
| Mon, 27 Jul 2015 23:56:11 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 27 Jul 2015 23:41:57 +0200 | wenzelm | merged | changeset | files |
| Mon, 27 Jul 2015 23:40:39 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 27 Jul 2015 22:44:02 +0200 | haftmann | formal class for factorial (semi)rings | changeset | files |
| Mon, 27 Jul 2015 22:08:46 +0200 | wenzelm | merged | changeset | files |
| Mon, 27 Jul 2015 17:56:08 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 27 Jul 2015 17:44:55 +0200 | wenzelm | tuned signature; | changeset | files |