projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 6 Feb 2006 10:34:27 +0000 (10:34 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 6 Feb 2006 10:34:27 +0000 (10:34 +0000) | ||
| commit | ba4cfa6c2adc1f4f19be714dd7fde769d975104e | |
| tree | 1c85bf473da38437f8369ee7132d37c6d6dad42a | tree | snapshot |
| parent | fbee3acebbd8dda20eac971fc6dc0fa1758a80d9 | commit | diff |
| helm/software/matita/library/algebra/finite_groups.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/algebra/groups.ma | diff | blob | history |