]> matita.cs.unibo.it Git - helm.git/commit
added coercions to Prod
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Oct 2005 16:01:50 +0000 (16:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Oct 2005 16:01:50 +0000 (16:01 +0000)
commit0245778d76e4d7656c1d8a05dc19738f1a953d68
tree282a32c610670a7f81e3b4a76239b0348edb521d
parentb6bec181b81b3cbc56ec8914dcd7e6a029c7d84f
added coercions to Prod
helm/matita/contribs/LAMBDA-TYPES/.depend
helm/matita/matita.ml
helm/matita/matitaEngine.ml
helm/matita/tests/elim.ma
helm/ocaml/cic_unification/cicRefine.ml
helm/ocaml/cic_unification/coercDb.ml
helm/ocaml/cic_unification/coercDb.mli
helm/ocaml/cic_unification/coercGraph.ml
helm/ocaml/cic_unification/coercGraph.mli