]> matita.cs.unibo.it Git - helm.git/commit
fixed some regressions
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 12 Jun 2008 08:40:06 +0000 (08:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 12 Jun 2008 08:40:06 +0000 (08:40 +0000)
commit99f153e43f18bc682339bed41c8230af2ac6fd2f
tree87489fafe6f50169681671360e3f4a1ad0f85eba
parente62ffc0d340dabcca90d4cb91a46f5d5d40b18d6
fixed some regressions
helm/software/matita/contribs/dama/dama/lebesgue.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma