]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Aug 2009 10:59:30 +0000 (10:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Aug 2009 10:59:30 +0000 (10:59 +0000)
commit86d3a559b94a16c571ca05defdcada6bae4cc14d
tree5ff321e7c81747aa5db906968560c48b37fb90a5
parent2dc6ec0db2156431948014a6498c9901f8759e39
...
helm/software/matita/nlibrary/sets/partitions.ma