| Wed, 07 Dec 2022 12:38:06 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 07 Dec 2022 10:11:58 +0100 | desharna | stated goals of some lemmas explicitely to prevent silent changes | changeset | files |
| Tue, 06 Dec 2022 18:56:28 +0100 | desharna | rewrite proofs using to_pred attribute on existing lemmas | changeset | files |
| Tue, 06 Dec 2022 20:08:51 +0100 | wenzelm | clarified signature: less redundancy; | changeset | files |
| Tue, 06 Dec 2022 19:29:29 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 06 Dec 2022 19:20:09 +0100 | wenzelm | potentially more robust delay_load action: avoid loosing events due to guards; | changeset | files |
| Tue, 06 Dec 2022 18:37:57 +0100 | wenzelm | tuned signature; | changeset | files |