| 2022-12-07 | desharna | stated goals of some lemmas explicitely to prevent silent changes | changeset | files |
| 2022-12-06 | desharna | rewrite proofs using to_pred attribute on existing lemmas | changeset | files |
| 2022-12-06 | wenzelm | clarified signature: less redundancy; | changeset | files |
| 2022-12-06 | wenzelm | tuned; | changeset | files |
| 2022-12-06 | wenzelm | potentially more robust delay_load action: avoid loosing events due to guards; | changeset | files |
| 2022-12-06 | wenzelm | tuned signature; | changeset | files |
| Loading... | |||