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 |
Tue, 02 Apr 2019 12:56:21 +0100 | paulson | merged | changeset | files |