]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b44277) | patch
Meta vs same Meta now tries unification when convertibility of the two
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 14:07:43 +0000 (14:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 14:07:43 +0000 (14:07 +0000)
commit0191fb3768820da9287c3bd401593664f40aec7b
tree03e455f0efe58b22c27ff7b9e5080f08d0096e10tree | snapshot
parent4b44277b39e8a30741e544d9c3cee349d7c61ce0commit | diff
Meta vs same Meta now tries unification when convertibility of the two
substitutions fails.
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.