]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d46d2df) | patch
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
tree312e231870c8d6717ff88eebcce214eb6b4f343ctree | snapshot
parentd46d2dfe4aecc2fa820311753003567d57b19d31commit | diff
eat_prods now uses mk_implicit_type.
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.