| Wed, 01 Jul 2015 22:11:23 +0200 | wenzelm | clarified prems: full subgoal is imported in any case, to avoid remaining schematic variables; | changeset | files |
| Wed, 01 Jul 2015 21:57:21 +0200 | wenzelm | proper state after qed; | changeset | files |
| Wed, 01 Jul 2015 21:48:46 +0200 | wenzelm | clarified keyword categories; | changeset | files |
| Wed, 01 Jul 2015 21:29:57 +0200 | wenzelm | support for subgoal focus command; | changeset | files |
| Wed, 01 Jul 2015 10:53:14 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 01 Jul 2015 13:09:56 +0200 | immler | taylor series with has_integral and integrable_on | changeset | files |
| Tue, 30 Jun 2015 17:02:24 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2015 15:41:11 +0200 | wenzelm | no arguments for "standard" (or old "default") methods; | changeset | files |