]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5cb3f5c) | patch
Almost every hand-inserted coercion removed since a bug in the coercion
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 5 Nov 2006 16:31:53 +0000 (16:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 5 Nov 2006 16:31:53 +0000 (16:31 +0000)
commit771b1558ec425f5d80786ffe5b872c9891544904
tree9c1da20e5038cdb82d69169e166c4dfb7d90dfe4tree | snapshot
parent5cb3f5cf0571c537b3c14cf9220fe58562da4f0ccommit | diff
Almost every hand-inserted coercion removed since a bug in the coercion
machinery has been fixed.
helm/software/matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.