]> matita.cs.unibo.it Git - helm.git/commit
Composition of coercions with arity > 0 is now implemented correctly.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Sep 2007 10:45:18 +0000 (10:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Sep 2007 10:45:18 +0000 (10:45 +0000)
commitaaf1c6a4f2e56d08433e2258da4d4cc51c943e4e
treeb1575adbb7382fb5c39ee6c6ee590dee3be25e96
parent751e50a8640e460a3d1a9fad96b8ec5fb3e663d0
Composition of coercions with arity > 0 is now implemented correctly.
helm/software/components/library/cicCoercion.ml
helm/software/components/library/cicCoercion.mli
helm/software/components/library/librarySync.ml
helm/software/components/tactics/closeCoercionGraph.ml
helm/software/components/tactics/closeCoercionGraph.mli
helm/software/components/tactics/compose.ml