| Tue, 01 Dec 2015 14:19:25 +0000 | paulson | Merge | changeset | files |
| Tue, 01 Dec 2015 14:09:10 +0000 | paulson | Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material. | changeset | files |
| Tue, 01 Dec 2015 13:07:41 +0100 | blanchet | set "transfer_rule" attribute more generously | changeset | files |
| Tue, 01 Dec 2015 13:07:40 +0100 | blanchet | tuned whitespace | changeset | files |
| Mon, 30 Nov 2015 19:12:08 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 30 Nov 2015 15:23:02 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 30 Nov 2015 14:24:51 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 30 Nov 2015 13:16:12 +0100 | blanchet | avoid 'hence' and 'thus' in generated proofs | changeset | files |
| Mon, 30 Nov 2015 13:14:56 +0100 | blanchet | removed tracing | changeset | files |
| Sun, 29 Nov 2015 19:01:54 +0100 | nipkow | RBT invariants for insert | changeset | files |
| Sat, 28 Nov 2015 23:59:08 +0100 | wenzelm | removed junk; | changeset | files |
| Fri, 27 Nov 2015 19:00:27 +0100 | wenzelm | merged | changeset | files |
| Fri, 27 Nov 2015 18:59:47 +0100 | wenzelm | more reactive GUI; | changeset | files |
| Fri, 27 Nov 2015 18:47:39 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 27 Nov 2015 18:01:13 +0100 | nipkow | paint root black after insert and delete | changeset | files |