]> matita.cs.unibo.it Git - helm.git/commit
One half done.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Aug 2009 16:54:16 +0000 (16:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Aug 2009 16:54:16 +0000 (16:54 +0000)
commit8272528f48b942a80024aeb9b625d99cfe3f0f44
treeefd6ff2e8949856bc4eaf719f4c7aee6a8661a26
parent2c81e4168d6cec784100b0e3cd3f377aa257daee
One half done.
helm/software/matita/nlibrary/sets/partitions.ma