]> matita.cs.unibo.it Git - helm.git/commit
patch to calculate meets of a pair of carriers
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:27:26 +0000 (11:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:27:26 +0000 (11:27 +0000)
commita5cb4c29b556fdfe343b8fcc574fac57974bfe4e
tree926c15d97bd6cafb167f69fdb64b33d77d8c578b
parent91f15c0bab1f2e11ef2bf77b5091c52daf64669b
patch to calculate meets of a pair of carriers
helm/software/components/library/cicCoercion.ml
helm/software/components/library/coercGraph.ml
helm/software/components/library/coercGraph.mli