Tue, 01 Dec 2015 12:27:16 +0100 | Andreas Lochbihler | strengthen lemma | changeset | files |
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 |