| Tue, 05 Mar 2024 16:22:24 +0100 | wenzelm | proper dynamic access (amending c3f07c950116); | changeset | files |
| Tue, 05 Mar 2024 16:20:40 +0100 | wenzelm | more robust, notably for remote process (via SSH); | changeset | files |
| Tue, 05 Mar 2024 16:06:06 +0100 | wenzelm | prefer dynamic objects, following a5fda30edae2; | changeset | files |
| Tue, 05 Mar 2024 15:58:45 +0100 | wenzelm | proper dynamic access (amending 52b5c7c8e6d9); | changeset | files |
| Tue, 05 Mar 2024 15:54:33 +0100 | wenzelm | clarified signature: incorporate guard into Logger; | changeset | files |
| Tue, 05 Mar 2024 16:55:21 +0100 | desharna | merged | changeset | files |
| Tue, 05 Mar 2024 15:02:31 +0100 | desharna | added lemmas rtranclp_ident_if_reflp_and_transp and tranclp_ident_if_transp | changeset | files |