]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f576c9) | patch
CicSubstitution.delift ==> CicMetaSubst.delift_rels
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 9 Jun 2005 15:04:49 +0000 (15:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 9 Jun 2005 15:04:49 +0000 (15:04 +0000)
commit17cc9a1c6353a5a57562434e9938fb54ca78b9c6
tree0847ca9576d15a050b3e1e9987ab74b178fc7152tree | snapshot
parent4f576c9474396e214db9fcf8bb974c603c16a825commit | diff
CicSubstitution.delift ==> CicMetaSubst.delift_rels
(since it will need to restrict metavariables in case of Rel capture)
helm/ocaml/cic_proof_checking/cicSubstitution.ml diff | blob | history
helm/ocaml/cic_proof_checking/cicSubstitution.mli diff | blob | history
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
Unnamed repository; edit this file 'description' to name the repository.