]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Jan 2006 18:23:43 +0000 (18:23 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Jan 2006 18:23:43 +0000 (18:23 +0000) | ||
commit | 0b057a6f3f1b803c387d3fcef714f801d42225b2 | |
tree | d380c7ad083aa6ce55c80fab16f8e7f98116bfcd | tree | snapshot |
parent | 4424e9d4f0260f136fc8df7bc71764c5904a34c6 | commit | diff |
helm/matita/library/algebra/groups.ma | diff | blob | history |