projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 19 Jan 2006 13:40:44 +0000 (13:40 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 19 Jan 2006 13:40:44 +0000 (13:40 +0000) | ||
| commit | ceb1ffa3c01551ba51c1afcd85d693726c7fd3d9 | |
| tree | fc72b56919e0447b3700a71f335de40330960c60 | tree | snapshot |
| parent | 768514ae739c7b9a8c5a89a3684496912d1ced05 | commit | diff |
| helm/matita/library/algebra/monoids.ma | diff | blob | history | |
| helm/matita/library/algebra/semigroups.ma | diff | blob | history |