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 | 4e813c00fb151bae5b20e7abeb14d9f02a720891 | |
| tree | efe8559a48d3d0e209dc73bf7d636e81b16d8fa1 | tree | snapshot |
| parent | c1e4ed1c5c7789a6b9020914da16de876c5b3ecc | commit | diff |
| helm/software/matita/library/assembly/assembly.ma | diff | blob | history |