]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64f8a55) | patch
Bug fixed: the beta_expansion function did not lift the argument before
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Jul 2004 15:18:06 +0000 (15:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Jul 2004 15:18:06 +0000 (15:18 +0000)
commit9a10854931b9271c215040533a65e5330bc75122
tree5afdb77c0b9c0bf6051a60ebf67960eb9c9b174etree | snapshot
parent64f8a55c41f9fbb702c39ed3a42664f9e7750218commit | diff
Bug fixed: the beta_expansion function did not lift the argument before
attempting to match it ==> no matching was done correctly under an
abstraction.
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.