Tue, 10 Dec 2019 01:06:39 +0100 | traytel | unfold intermediate (internal) pred definitions | changeset | files |
Mon, 09 Dec 2019 16:37:26 +0000 | paulson | corrected some confusing terminology / notation | changeset | files |
Mon, 09 Dec 2019 16:13:36 +0000 | paulson | Ramsey with multiple colours and arbitrary exponents | changeset | files |