]> matita.cs.unibo.it Git - helm.git/commit
// used everywhere!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 12:00:31 +0000 (12:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 12:00:31 +0000 (12:00 +0000)
commit661403facfb7ca53b58635a95904787ae393bde5
tree8b5259dceabb0618b8abecd55e5e12c91f2aa5ee
parent34311f3f810eb893b865d1893eae1cf62cd490b4
// used everywhere!
helm/software/matita/nlibrary/sets/sets.ma