| Tue, 03 Jan 2023 12:58:00 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 03 Jan 2023 18:23:52 +0100 | desharna | merged | changeset | files |
| Mon, 26 Dec 2022 14:34:32 +0100 | desharna | strengthened and renamed lemmas asym_on_iff_irrefl_on_if_trans and asymp_on_iff_irreflp_on_if_transp | changeset | files |
| Tue, 03 Jan 2023 11:30:37 +0000 | paulson | Fixed a couple of simple_path occurrences | changeset | files |
| Mon, 02 Jan 2023 20:47:09 +0000 | paulson | merged | changeset | files |
| Mon, 02 Jan 2023 20:46:24 +0000 | paulson | Tidying up of paths, introducing "loop_free" as a separate predicate in the definition of "simple_path" | changeset | files |
| Mon, 02 Jan 2023 20:39:21 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |