| 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 |
| Tue, 02 Apr 2019 12:56:05 +0100 | paulson | some new group theory results: integer group, trivial group, etc. | changeset | files |
| Tue, 02 Apr 2019 13:22:16 +0200 | wenzelm | more convenient export; | changeset | files |
| Tue, 02 Apr 2019 13:15:52 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Tue, 02 Apr 2019 13:15:37 +0200 | wenzelm | more material for release; | changeset | files |