]> matita.cs.unibo.it Git - helm.git/commit
fixed coercions. composite can't occur if to funclass
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 5 Sep 2006 15:48:19 +0000 (15:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 5 Sep 2006 15:48:19 +0000 (15:48 +0000)
commit456f7d82d3cf6732daa36bb07d06c23c4a60beda
treecf2163c504cee122071c00fcb3588c3d2dc6a3d0
parent8708dbb34dd176f6a4e750e60375928af17051fa
fixed coercions. composite can't occur if to funclass
helm/software/components/cic_unification/cicRefine.ml
helm/software/matita/tests/coercions.ma