]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f5baa8) | patch
- refine's type_of no longer return a substitution
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Feb 2004 17:01:50 +0000 (17:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Feb 2004 17:01:50 +0000 (17:01 +0000)
commite874af2d785b2b383ae8444fdd32bb5344fb914f
tree2a5c8d2f214d5454c69a68e0c8d8c13e341827a5tree | snapshot
parent5f5baa87c244bc700d3c78edac6df7e2825b4dbdcommit | diff
- refine's type_of no longer return a substitution
helm/ocaml/cic_unification/cicMetaSubst.ml diff | blob | history
helm/ocaml/cic_unification/cicMetaSubst.mli diff | blob | history
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
helm/ocaml/cic_unification/cicRefine.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.