]> matita.cs.unibo.it Git - helm.git/commit
SUBSETS_full up to universe inconsistency
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 Jan 2009 02:58:50 +0000 (02:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 Jan 2009 02:58:50 +0000 (02:58 +0000)
commit6b71ae123d3e412d43872b8b7965b7013a970d05
tree21a47725c918484b9f8b3bd9ba31ad482d527fd2
parentd87c05ef2d706cc9b69454c191568028134138ea
SUBSETS_full up to universe inconsistency
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma