Fri, 12 Mar 2021 19:42:18 +0100 | wenzelm | more robust; | changeset | files |
Thu, 11 Mar 2021 20:30:56 +0100 | wenzelm | clarified signature; | changeset | files |
Thu, 11 Mar 2021 12:16:17 +0100 | wenzelm | clarified components; | changeset | files |
Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | changeset | files |
Thu, 11 Mar 2021 07:05:29 +0000 | haftmann | lemma | changeset | files |
Thu, 11 Mar 2021 11:22:25 +0100 | wenzelm | tuned; | changeset | files |