]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Dec 2009 17:30:48 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Dec 2009 17:30:48 +0000 (17:30 +0000)
commitb2d91e46900424ce5eb5a058c33841e72cc4b229
tree2f2650aa1ce07318c860ace4ff35d52f09b06429
parentc32e87198e3434dc89009b954223e825da34c1ac
...
helm/software/matita/nlibrary/sets/setoids1.ma