| Wed, 09 Nov 2022 16:39:45 +0100 | desharna | added lemma reflp_on_reflclp[simp] | changeset | files |
| Wed, 09 Nov 2022 16:45:12 +0100 | desharna | strengthened lemma reflp_rtranclp and renamed to reflp_on_rtranclp | changeset | files |
| Wed, 09 Nov 2022 21:14:20 +0100 | wenzelm | more robust selection: avoid duplicates via "batch" number; | changeset | files |
| Wed, 09 Nov 2022 20:30:52 +0100 | wenzelm | tuned GUI; | changeset | files |
| Wed, 09 Nov 2022 19:42:21 +0100 | wenzelm | clarified GUI.Selector, with support for separator as pseudo-entry; | changeset | files |
| Wed, 09 Nov 2022 14:20:52 +0100 | wenzelm | clarified GUI state; | changeset | files |
| Wed, 09 Nov 2022 13:33:32 +0100 | wenzelm | clarified file names; | changeset | files |