Thu, 19 Sep 2019 12:36:15 +0100 | paulson | A few more simple results | changeset | files |
Wed, 18 Sep 2019 14:41:37 +0100 | paulson | imported new material mostly due to Sébastien Gouëzel | changeset | files |
Tue, 17 Sep 2019 16:21:31 +0100 | paulson | A couple of new theorems, stolen from AFP entries | changeset | files |