]> matita.cs.unibo.it Git - helm.git/commit
eat_prods now uses mk_implicit_type.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Feb 2004 09:27:25 +0000 (09:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Feb 2004 09:27:25 +0000 (09:27 +0000)
commitb82f304b26de27ec6f59faa29ec41eadd221cfa8
tree312e231870c8d6717ff88eebcce214eb6b4f343c
parentd46d2dfe4aecc2fa820311753003567d57b19d31
eat_prods now uses mk_implicit_type.
helm/ocaml/cic_unification/cicRefine.ml