projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 13 Jul 2007 22:04:05 +0000 (22:04 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 13 Jul 2007 22:04:05 +0000 (22:04 +0000) | ||
| commit | 71d392d05d86e75358bbcb7fdfdc1b205f43de05 | |
| tree | ed65a46a28e82adef23e399482b6dbebf96823a3 | tree | snapshot |
| parent | ef9d55e61811c525a551aef0518a73f0593c7953 | commit | diff |
| matita/library/assembly/assembly.ma | diff | blob | history |