]> 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)
commit83c41ad650a2736acf27ccae820923157283c6db
tree6f32de14a0eff0567e8654aa3fc0b16d0520465d
parent52ee42681cb27b768c5c69d92e99587f426abff0
Composition of coercions with arity > 0 is now implemented correctly.
components/library/cicCoercion.ml
components/library/cicCoercion.mli
components/library/librarySync.ml
components/tactics/closeCoercionGraph.ml
components/tactics/closeCoercionGraph.mli
components/tactics/compose.ml