Thu, 12 Mar 2020 21:02:05 +0100 | wenzelm | more explicit defaults; | changeset | files |
Thu, 12 Mar 2020 20:58:18 +0100 | wenzelm | proper transfer for Thm.derivation_name; | changeset | files |
Tue, 10 Mar 2020 22:52:21 +0100 | wenzelm | tuned OS names; | changeset | files |