]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Aug 2009 07:58:58 +0000 (07:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Aug 2009 07:58:58 +0000 (07:58 +0000)
commit5f77bf2f56b180e268b6acaa81a2fbb82a8fe026
treedf5deb8f01c31ce9ed9a246289c0f78ec7f6f099
parent828a190748fe67669df59d8813d32e17a3bbfd7a
...
helm/software/matita/nlibrary/nat/order.ma
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/sets/sets.ma