]> matita.cs.unibo.it Git - helm.git/commit
- occur check test anticipated to the delift phase
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 17:30:09 +0000 (17:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 17:30:09 +0000 (17:30 +0000)
commit04ca589d65bcef6bd46cf4d277a748a12e09234b
tree973f50a9ceb78687be355f0bd17d8fb4dc19761b
parentb621ad609dab703c4a8055e2554fe39b1bcfb07c
- occur check test anticipated to the delift phase
- uses CicUtil.lookup_meta
helm/ocaml/cic_unification/cicMetaSubst.ml
helm/ocaml/cic_unification/cicMetaSubst.mli
helm/ocaml/cic_unification/cicRefine.ml
helm/ocaml/cic_unification/cicRefine.mli
helm/ocaml/cic_unification/cicUnification.ml