]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2d20cd) | patch
Case c1 t1 vs c2 t2 where c1 and c2 are not splitted and t1 and t2
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Sep 2008 11:41:10 +0000 (11:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Sep 2008 11:41:10 +0000 (11:41 +0000)
commit1b9751de891efa2761cdc6cb9d019df6aaaa8514
tree865da1e39344dd9c5fe02f998106fc6e7fa2922dtree | snapshot
parentd2d20cd33c42d0897765387042c3779109bbf4fdcommit | diff
Case c1 t1 vs c2 t2 where c1 and c2 are not splitted and t1 and t2
are rigid was not handled correctly. Fixed.
helm/software/components/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.