]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad4d70f) | patch
coercions are propagated under Fix (but not mutually recursive Fixes)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Sep 2007 10:07:39 +0000 (10:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Sep 2007 10:07:39 +0000 (10:07 +0000)
commitec55884a79e80747611161a2e9e45779e7eadddc
tree910f8ca8286b266ee73a00c03be1eb8e81522deftree | snapshot
parentad4d70f2606d0b16d6bed92cc6b321bb6fe2f5b8commit | diff
coercions are propagated under Fix (but not mutually recursive Fixes)
components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.