| Wed, 10 Nov 2021 14:10:42 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 10 Nov 2021 13:16:57 +0100 | wenzelm | proper handling of Protocol.Export, using the payload from the message --- in contrast db_context.read_export materializes only later by a different thread (race condition); | changeset | files |
| Wed, 10 Nov 2021 12:34:19 +0100 | wenzelm | revert temporary workaround 6d111935299c; | changeset | files |
| Wed, 10 Nov 2021 08:36:50 +0100 | nipkow | added lemma | changeset | files |
| Tue, 09 Nov 2021 19:47:24 +0100 | nipkow | merged | changeset | files |
| Tue, 09 Nov 2021 16:17:13 +0100 | nipkow | tuned attributes to avoid looping | changeset | files |
| Mon, 08 Nov 2021 19:56:15 +0100 | nipkow | added eq_iff_swap for creating symmetric variants of thms; applied it in List. | changeset | files |