]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86d3a55) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Aug 2009 10:15:59 +0000 (10:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Aug 2009 10:15:59 +0000 (10:15 +0000)
commit2c81e4168d6cec784100b0e3cd3f377aa257daee
tree5202fd6135d0bd15bc506e62c135cdf983215929tree | snapshot
parent86d3a559b94a16c571ca05defdcada6bae4cc14dcommit | diff
...
helm/software/matita/nlibrary/sets/partitions.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.