]> matita.cs.unibo.it Git - helm.git/commit
models ported
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Oct 2008 13:09:42 +0000 (13:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Oct 2008 13:09:42 +0000 (13:09 +0000)
commitbb7af347df386afcd3ea2adea8e7e982e3a5a253
tree10e26f13abd9906a53f5ba6ac1e058c162421225
parentd7f3ff62899afb162cb2825af91de72fe6d8dc85
models ported
helm/software/matita/contribs/dama/dama/lebesgue.ma
helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma
helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma
helm/software/matita/contribs/dama/dama/models/nat_order_continuous.ma
helm/software/matita/contribs/dama/dama/models/nat_ordered_uniform.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/supremum.ma