]> matita.cs.unibo.it Git - helm.git/commit
- notation fixed according to the new stricter semantics
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jun 2008 16:32:36 +0000 (16:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jun 2008 16:32:36 +0000 (16:32 +0000)
commitada8695ba51b2ecbd4a955f990e8d06f038aac6b
treecc9ae57068e30bb7b8d2244acfb6f24c6195aa17
parent813f73e76fb7374987ea1e826bcd6f15e22377d9
- notation fixed according to the new stricter semantics
- generalize no longer required before case
helm/software/matita/contribs/dama/dama/cprop_connectives.ma
helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma
helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/contribs/dama/dama/property_sigma.ma
helm/software/matita/contribs/dama/dama/sequence.ma
helm/software/matita/contribs/dama/dama/uniform.ma