]> matita.cs.unibo.it Git - helm.git/commit
More // everywhere.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 12:40:38 +0000 (12:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 12:40:38 +0000 (12:40 +0000)
commit899222fb394af9ee449cd6618e6e38ce30b45ca8
treee4581f5651c37dd2ca53907e4c542c8b94778b6c
parent661403facfb7ca53b58635a95904787ae393bde5
More // everywhere.
helm/software/matita/nlibrary/sets/partitions.ma