| Thu, 24 Sep 2015 12:21:19 +0200 | traytel | conceal only the definitional theorems of map, set, rel (and not the actual constants) | changeset | files |
| Thu, 24 Sep 2015 12:21:19 +0200 | traytel | more useful properties of the relators | changeset | files |
| Thu, 24 Sep 2015 12:21:19 +0200 | traytel | tuned proofs (less warnings) | changeset | files |
| Wed, 23 Sep 2015 14:11:35 +0100 | paulson | Useful facts about min/max, etc. | changeset | files |
| Wed, 23 Sep 2015 11:52:15 +0100 | paulson | Merge | changeset | files |
| Wed, 23 Sep 2015 11:36:07 +0100 | paulson | fixed a VERY SLOW proof | changeset | files |
| Tue, 22 Sep 2015 16:55:49 +0100 | paulson | SOME rather than THE makes it easy to prove equivalence with other forms of derivatives | changeset | files |