]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 102f828) | patch
fixed case of divergence
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Sep 2008 15:46:08 +0000 (15:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Sep 2008 15:46:08 +0000 (15:46 +0000)
commit1fb0f39de8b87920d2f15f9e33929d372fa518dd
tree8f3971937f8bf6875c8e2c0635970c6c9eb44d9atree | snapshot
parent102f828310b347680407c0a5b51084bfaa88f458commit | diff
fixed case of divergence
helm/software/components/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.