projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 18 Aug 2009 10:59:30 +0000 (10:59 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 18 Aug 2009 10:59:30 +0000 (10:59 +0000) | ||
| commit | 86d3a559b94a16c571ca05defdcada6bae4cc14d | |
| tree | 5ff321e7c81747aa5db906968560c48b37fb90a5 | tree | snapshot |
| parent | 2dc6ec0db2156431948014a6498c9901f8759e39 | commit | diff |
| helm/software/matita/nlibrary/sets/partitions.ma | diff | blob | history |