]> matita.cs.unibo.it Git - helm.git/commit
lebesgue proved
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Jun 2008 11:23:59 +0000 (11:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Jun 2008 11:23:59 +0000 (11:23 +0000)
commit5070f476ff80ee53fe444d284f9e7587a37022f4
tree2bd383ee1c30ced018550b446c0a5a2ede140863
parentc00f22f7afa508881c8d116928e1c460600ba0ac
lebesgue proved
helm/software/matita/contribs/dama/dama/cprop_connectives.ma
helm/software/matita/contribs/dama/dama/lebesgue.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/property_sigma.ma
helm/software/matita/contribs/dama/dama/supremum.ma