| Mon, 23 Mar 2015 23:16:40 +0100 | wenzelm | NEWS; | changeset | files |
| Mon, 23 Mar 2015 23:12:33 +0100 | wenzelm | tuned proof; | changeset | files |
| Mon, 23 Mar 2015 22:57:04 +0100 | wenzelm | implicit goal parameters are improper; | changeset | files |
| Mon, 23 Mar 2015 21:14:49 +0100 | wenzelm | merged | changeset | files |
| Mon, 23 Mar 2015 21:05:17 +0100 | wenzelm | prefer local fixes; | changeset | files |
| Mon, 23 Mar 2015 19:43:03 +0100 | wenzelm | local fixes may depend on goal params; | changeset | files |
| Mon, 23 Mar 2015 17:07:43 +0100 | wenzelm | tuned; | changeset | files |