]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a785a35) | patch
- pass subst to FreshNameGenerator on mk_fresh_name invocations
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:24:09 +0000 (12:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:24:09 +0000 (12:24 +0000)
commit3ef2bf19b2b0f3542f453f48f30d13c6d8be09a0
tree7c7f39e47b4cda8a136750086bdb0eaf0b8a67bctree | snapshot
parenta785a3526d4dcbb6c5810ed4fb943132c9ff2d45commit | diff
- pass subst to FreshNameGenerator on mk_fresh_name invocations
- removed assert failures on get_cooked_obj (rolled back last commit)
- reindented (the huuuuuuuge) eat_prods function
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.