| Mon, 05 Dec 2016 18:14:41 +0100 | nipkow | spelling | changeset | files |
| Sun, 04 Dec 2016 21:40:50 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 04 Dec 2016 18:53:22 +0100 | wenzelm | back to isabelle-dev repository; | changeset | files |
| Sun, 04 Dec 2016 18:53:55 +0100 | wenzelm | merged | changeset | files |
| Sun, 04 Dec 2016 13:47:56 +0100 | wenzelm | more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context'); | changeset | files |
| Sun, 04 Dec 2016 13:40:54 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 29 Nov 2016 16:58:10 +0100 | nipkow | merged | changeset | files |
| Tue, 29 Nov 2016 10:53:52 +0100 | nipkow | more lemmas, tuned proofs | changeset | files |