]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 16:04:25 +0000 (16:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 16:04:25 +0000 (16:04 +0000)
commit179574c117d34a39cebeaa66673cda83974e135a
tree1e5abb8ccb398df0fd3216a0cc6a3afb30b4d7b8
parentfe7b82f0aaed4ecbf84f70ec6fb7dce3c7da04e9
...
helm/software/matita/contribs/dama/dama/models/discrete_uniformity.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/increasing_supremum_stabilizes.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/nat_order_continuous.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/nat_ordered_uniform.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/nat_uniform.ma [deleted file]