projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 17 Jul 2008 13:27:14 +0000 (13:27 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 17 Jul 2008 13:27:14 +0000 (13:27 +0000) | ||
| commit | 0e9f9d6d7a0466ee132553fb7a983eac282fb12f | |
| tree | 7fabef12219275645039bc4d90d5083eb25679fb | tree | snapshot |
| parent | fa78b52bbdb4f545384de896fda45e513b5866fd | commit | diff |
| helm/software/matita/library/algebra/groups.ma | diff | blob | history |