]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 813f73e) | patch
- 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
treecc9ae57068e30bb7b8d2244acfb6f24c6195aa17tree | snapshot
parent813f73e76fb7374987ea1e826bcd6f15e22377d9commit | diff
- notation fixed according to the new stricter semantics
- generalize no longer required before case
helm/software/matita/contribs/dama/dama/cprop_connectives.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma diff | blob | history
helm/software/matita/contribs/dama/dama/ordered_uniform.ma diff | blob | history
helm/software/matita/contribs/dama/dama/property_sigma.ma diff | blob | history
helm/software/matita/contribs/dama/dama/sequence.ma diff | blob | history
helm/software/matita/contribs/dama/dama/uniform.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.