| Mon, 14 Dec 2015 11:20:31 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 14 Dec 2015 10:14:19 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 13 Dec 2015 22:33:05 +0100 | wenzelm | merged | changeset | files |
| Sun, 13 Dec 2015 21:56:15 +0100 | wenzelm | more general types Proof.method / context_tactic; | changeset | files |
| Sat, 12 Dec 2015 15:37:42 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Dec 2015 15:35:31 +0100 | wenzelm | clarified ML scopes; | changeset | files |
| Sat, 12 Dec 2015 15:26:30 +0100 | wenzelm | clarified ML scopes; | changeset | files |