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 |