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 |
Tue, 02 Apr 2019 13:02:03 +0200 | wenzelm | misc tuning for release; | changeset | files |
Mon, 01 Apr 2019 21:58:45 +0200 | wenzelm | 'code_reflect' only supports new-style 'file_prefix'; | changeset | files |
Mon, 01 Apr 2019 21:51:46 +0200 | wenzelm | tuned signature -- more exports; | changeset | files |