]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa27a63) | patch
pack_coercion used to avoid packing n-ary coercions where n > 2.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Feb 2006 16:37:36 +0000 (16:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Feb 2006 16:37:36 +0000 (16:37 +0000)
commitbf50962a385d414b1ac87409e524218fd80ab774
treeac3325ec0b0e9d3b181851a679afa7d150eabf8ctree | snapshot
parentfa27a63c5a454664c98ce81f76133d088f4961cdcommit | diff
pack_coercion used to avoid packing n-ary coercions where n > 2.
Fixed.
helm/software/components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.