]> matita.cs.unibo.it Git - helm.git/commit
gran casino
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 11 Jun 2008 16:58:16 +0000 (16:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 11 Jun 2008 16:58:16 +0000 (16:58 +0000)
commit7af9d84f465b5f4b609b08ae914681526d12480a
tree90a6455acb51290682d38d600fbec6c131583d06
parent102a4101f6b4b7da9861de73054188df470c4462
gran casino
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/models/uniformnat.ma
helm/software/matita/contribs/dama/dama/nat_ordered_set.ma
helm/software/matita/contribs/dama/dama/property_sigma.ma
helm/software/matita/contribs/dama/dama/russell_support.ma [new file with mode: 0644]
helm/software/matita/contribs/dama/dama/supremum.ma
helm/software/matita/contribs/dama/dama/uniform.ma