]> matita.cs.unibo.it Git - helm.git/commit
Setoids are now more pervasive.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Sep 2008 16:22:22 +0000 (16:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Sep 2008 16:22:22 +0000 (16:22 +0000)
commitda03907a38982b8b45459213f2b9581accac5143
tree914989c01b718cec3dbc611f003970a432378462
parent7e79f902b0fea9afb02576b653b384bc512b2264
Setoids are now more pervasive.
helm/software/matita/library/datatypes/categories.ma
helm/software/matita/library/datatypes/subsets.ma
helm/software/matita/library/formal_topology/basic_pairs.ma
helm/software/matita/library/formal_topology/concrete_spaces.ma
helm/software/matita/library/formal_topology/relations.ma