]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0508e78) | patch
Erroneously declared coercion removed
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 5 Jan 2007 11:07:04 +0000 (11:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 5 Jan 2007 11:07:04 +0000 (11:07 +0000)
commit18238be513728c37e46e637e73476cd98d1bddd5
treedd2228b91497a7b1d3d66e546c213d95ac9fff49tree | snapshot
parent0508e78de8f32cd5486388606bb11eb4905e9e3acommit | diff
Erroneously declared coercion removed
matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.