| Mon, 09 Dec 2019 16:13:36 +0000 | paulson | Ramsey with multiple colours and arbitrary exponents | changeset | files |
| Mon, 09 Dec 2019 15:36:51 +0000 | paulson | a few new and tidier proofs (mostly about finite sets) | changeset | files |
| Mon, 09 Dec 2019 11:17:34 +0100 | wenzelm | clarified signature: store full theory name; | changeset | files |
| Sun, 08 Dec 2019 17:42:58 +0100 | nipkow | merged | changeset | files |
| Sun, 08 Dec 2019 17:42:53 +0100 | nipkow | moved lemmas | changeset | files |
| Fri, 06 Dec 2019 19:56:45 +0100 | wenzelm | merged | changeset | files |
| Fri, 06 Dec 2019 17:05:52 +0100 | wenzelm | suppress record types: not working properly; | changeset | files |
| Fri, 06 Dec 2019 16:22:15 +0100 | wenzelm | removed junk; | changeset | files |
| Fri, 06 Dec 2019 16:13:36 +0100 | wenzelm | discontinued somewhat pointless options; | changeset | files |
| Fri, 06 Dec 2019 16:05:24 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 06 Dec 2019 15:53:09 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 06 Dec 2019 15:44:55 +0100 | wenzelm | export datatypes; | changeset | files |