]> matita.cs.unibo.it Git - helm.git/commit
even more polymorphic dualizer
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Oct 2008 22:23:47 +0000 (22:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Oct 2008 22:23:47 +0000 (22:23 +0000)
commit5322d66340d43e85b85e15dddcddeff3ae3a3552
tree348b4c709d3e96cabeda0a505fffdf20bab716fe
parentf20f1ac4aea15d81599bd2283c5440fce8d4cf6a
even more polymorphic dualizer
helm/software/matita/contribs/dama/dama/lebesgue.ma
helm/software/matita/contribs/dama/dama/nat_ordered_set.ma
helm/software/matita/contribs/dama/dama/ordered_set.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/supremum.ma