]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 267fbbc) | patch
Dummy dependent products in inductive types arities are no longer cleaned.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 May 2008 17:38:47 +0000 (17:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 May 2008 17:38:47 +0000 (17:38 +0000)
commitef3dfcdad5cd42f31ce5575aa1d03247d4547b38
treea4cf638c5e21e5f26ab2ded1ce1109038a3ed758tree | snapshot
parent267fbbcd1b8c54ce7faafd48cface965d0f6c37bcommit | diff
Dummy dependent products in inductive types arities are no longer cleaned.
helm/software/matita/library/algebra/CoRN/Setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.