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 |
Tue, 22 Sep 2015 16:55:07 +0100 | paulson | New lemmas | changeset | files |
Tue, 22 Sep 2015 16:53:59 +0100 | paulson | Prepared two non-terminating proofs; no obvious link with my changes | changeset | files |