]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 502628b) | patch
eat_prods reimplemented to generalize the output type of the application
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 13:04:33 +0000 (13:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 13:04:33 +0000 (13:04 +0000)
commit5bb1c1ed4a30a99751414b7519efb5c58283d649
tree016bcf58f33db83bf90061fc365def2f3c9e4ac1tree | snapshot
parent502628b87ff30f2c4955ffaa4da7a6ebc0c4119bcommit | diff
eat_prods reimplemented to generalize the output type of the application
a bit more (when it is a metavariable).
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.