| 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 |
| Mon, 02 Jan 2023 20:24:43 +0100 | wenzelm | more robust: prefer internal theory names; | changeset | files |
| Mon, 02 Jan 2023 16:02:16 +0100 | wenzelm | clarified session_sources (again, see also 9d0e6ea7aa68); | changeset | files |