]> matita.cs.unibo.it Git - helm.git/commit
x2sx declared as coercion and used when possible
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Nov 2008 18:38:27 +0000 (18:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Nov 2008 18:38:27 +0000 (18:38 +0000)
commit7a9277a3775b7150a22b2039548508e85751f85a
tree936eedb2ae4ee693beb98e7642bd6bc3dc5c2130
parenta6f88a0acfcb5c5284b7b3781e313cc0f76bb76d
x2sx declared as coercion and used when possible
helm/software/matita/contribs/dama/dama/lebesgue.ma
helm/software/matita/contribs/dama/dama/models/increasing_supremum_stabilizes.ma
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/supremum.ma