projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 23 Jul 2009 20:42:15 +0000 (20:42 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 23 Jul 2009 20:42:15 +0000 (20:42 +0000) | ||
| commit | f4f44aa85f6d8ad07c44ce5890bd447f04b9c8a2 | |
| tree | d80990b68449e3c6a21d40087487ebdf653bfc9c | tree | snapshot |
| parent | 03ebff6c48be2253ad32b3b57f4e1d2b02acda86 | commit | diff |
| helm/software/matita/nlibrary/algebra/magmas.ma | diff | blob | history |