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 | e871e95f9ce6abc7fe6cd0e10c8cff60cd9a72e4 | |
| tree | eb6782d572e66f11fc4e668db9ba1e51c39b00be | tree | snapshot |
| parent | cd22ff58b75dfcdc003c0c3948a9a96dfec5d185 | commit | diff |
| matita/library/algebra/finite_groups.ma | [new file with mode: 0644] | blob |
| matita/library/algebra/groups.ma | diff | blob | history |