]> matita.cs.unibo.it Git - helm.git/commit
Curryfication of binary setoids.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 22:46:21 +0000 (22:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 22:46:21 +0000 (22:46 +0000)
commitaaa04b3cfa6fc3410c953f21c53796f82bb22411
treea9d28f1b747b00541f62090b4f72c36c0cb6b15c
parentee83e268c87c75161da0e216d87e806effca7bb4
Curryfication of binary setoids.
helm/software/matita/nlibrary/algebra/magmas.ma
helm/software/matita/nlibrary/sets/categories.ma
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/sets/setoids.ma
helm/software/matita/nlibrary/sets/setoids1.ma
helm/software/matita/nlibrary/topology/cantor.ma
helm/software/matita/nlibrary/topology/igft-setoid.ma