Tue, 02 Apr 2019 14:12:21 +0200 | wenzelm | tuned; | changeset | files |
Tue, 02 Apr 2019 15:23:12 +0100 | paulson | The order of a group now follows the HOL Light definition, which is more general | changeset | files |
Tue, 02 Apr 2019 14:01:52 +0100 | paulson | merged | changeset | files |