]> matita.cs.unibo.it Git - helm.git/commit
Dedekind sigma completeness for the natural numbers.
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Jun 2008 15:24:57 +0000 (15:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Jun 2008 15:24:57 +0000 (15:24 +0000)
commit0538bf9e109bbd963816e20254213a5df114ce84
tree11a2b1ad57b3b0364476cc3a77eb211c3e1742f6
parentf3ad825f16c02c0c5fca620980882e409871e6f1
Dedekind sigma completeness for the natural numbers.
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/models/uniformnat.ma