| Wed, 11 Dec 2019 14:29:18 +0100 | wenzelm | support database dump; | changeset | files |
| Tue, 10 Dec 2019 21:05:07 +0100 | wenzelm | proper check of Linux version; | changeset | files |
| Tue, 10 Dec 2019 20:57:54 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 10 Dec 2019 20:38:45 +0100 | wenzelm | proper mysql user setup: avoid superuser powers in production; | changeset | files |
| Tue, 10 Dec 2019 16:45:56 +0100 | wenzelm | support for pwgen; | changeset | files |
| Tue, 10 Dec 2019 01:06:39 +0100 | traytel | NEWS, CONTRIBUTORS, and documentation | changeset | files |
| Tue, 10 Dec 2019 01:06:39 +0100 | traytel | an extensive example for lift_bnf across quotients | changeset | files |
| Tue, 10 Dec 2019 01:06:39 +0100 | traytel | extension of lift_bnf to support quotient types | changeset | files |
| 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 |
| 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 |