Wed, 03 Apr 2019 12:55:27 +0100 | paulson | new group theory material, mostly ported from HOL Light | file | diff | annotate |
Tue, 02 Apr 2019 12:56:05 +0100 | paulson | some new group theory results: integer group, trivial group, etc. | file | diff | annotate |