| 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 |
| Fri, 06 Dec 2019 11:43:29 +0100 | wenzelm | clarified modules; | changeset | files |
| Fri, 06 Dec 2019 11:36:20 +0100 | wenzelm | misc tuning and clarification: proper check of datatype kind; | changeset | files |
| Fri, 06 Dec 2019 11:12:55 +0100 | wenzelm | clarified modules; | changeset | files |
| Fri, 06 Dec 2019 17:03:58 +0100 | nipkow | cleaning | changeset | files |
| Fri, 06 Dec 2019 14:36:11 +0100 | nipkow | tuned | changeset | files |
| Thu, 05 Dec 2019 21:03:06 +0100 | nipkow | separated Affine theory from Convex | changeset | files |
| Thu, 05 Dec 2019 19:53:41 +0100 | nipkow | merged | changeset | files |
| Thu, 05 Dec 2019 18:26:11 +0100 | nipkow | tuned | changeset | files |
| Thu, 05 Dec 2019 12:09:35 +0000 | haftmann | proper table data structure | changeset | files |
| Thu, 05 Dec 2019 12:09:33 +0000 | haftmann | removed some vain declarations | changeset | files |
| Thu, 05 Dec 2019 13:51:09 +0100 | nipkow | merged | changeset | files |
| Thu, 05 Dec 2019 11:21:17 +0100 | nipkow | made Starlike independent of Abstract_Limits | changeset | files |
| Thu, 05 Dec 2019 09:24:34 +0000 | haftmann | more direct accessors for simpset | changeset | files |
| Wed, 04 Dec 2019 20:25:21 +0000 | haftmann | regular merge with no historization, in accordance with regular update | changeset | files |
| Wed, 04 Dec 2019 23:11:29 +0100 | nipkow | moved starlike where it belongs | changeset | files |
| Wed, 04 Dec 2019 19:55:30 +0100 | wenzelm | merged | changeset | files |