| Tue, 15 Dec 2015 14:41:47 +0000 | paulson | Merge | changeset | files |
| Tue, 15 Dec 2015 14:40:36 +0000 | paulson | New complex analysis material | changeset | files |
| Wed, 25 Nov 2015 22:44:02 +0100 | hoelzl | infix syntax for measurable set | changeset | files |
| Mon, 14 Dec 2015 14:05:31 +0100 | wenzelm | more standard term equality; | changeset | files |
| Mon, 14 Dec 2015 11:47:32 +0100 | wenzelm | tuned; | changeset | files |
| 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 |
| Sat, 12 Dec 2015 15:20:49 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Dec 2015 15:17:54 +0100 | wenzelm | unused; | changeset | files |