projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 4 Aug 2009 19:47:46 +0000 (19:47 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 4 Aug 2009 19:47:46 +0000 (19:47 +0000) | ||
| commit | de1ac2d7795925edb488e4fac30d5e80537bfe33 | |
| tree | 3951f0193c07996ed0996bd5c12a24a74743ab2a | tree | snapshot |
| parent | db235934efa41a0f38e79747f6db4f468367410b | commit | diff |
| helm/software/matita/nlibrary/algebra/magmas.ma | diff | blob | history |