]> matita.cs.unibo.it Git - helm.git/commit
more work for coercions
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Nov 2005 17:28:02 +0000 (17:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Nov 2005 17:28:02 +0000 (17:28 +0000)
commitd7eb6fad3e5afc0fc786c9a91ef64733120dfb43
treee1e9db5d09c19ae763ed6eacd6ac8c50c24ec60e
parentec57b172235af36adc9bf709bf6488edd4ec8544
more work for coercions
helm/ocaml/cic_unification/cicRefine.ml
helm/ocaml/cic_unification/cicUnification.ml
helm/ocaml/cic_unification/coercDb.ml
helm/ocaml/cic_unification/coercGraph.ml