]> matita.cs.unibo.it Git - helm.git/commit
Behaviour of CicRefine.type_of_aux' on MutCases changed: branches are now
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Jan 2007 13:42:09 +0000 (13:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Jan 2007 13:42:09 +0000 (13:42 +0000)
commit0978a9c19e672bb0b505f25737078409381700c7
treefbc670fe7e4cc85e55d20518664f4015d1e344c4
parentcf233f498cb895429893b940b79e1604d52475ca
Behaviour of CicRefine.type_of_aux' on MutCases changed: branches are now
processed from right to left to make the cases tactic open goals in the
expected order.
helm/software/components/cic_unification/cicRefine.ml