projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 8 Jul 2009 15:53:26 +0000 (15:53 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 8 Jul 2009 15:53:26 +0000 (15:53 +0000) | ||
| commit | c48caa0775b4e9b95b27e20fca4bccb4e08134c2 | |
| tree | abf760ae48ae303ddcbe6a802f3713072fb9aa4e | tree | snapshot |
| parent | a88be1ca42c0969dbab9a5c76240f5931df876d9 | commit | diff |
| helm/software/matita/nlibrary/algebra/magmas.ma | diff | blob | history |