]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf233f4) | patch
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
treefbc670fe7e4cc85e55d20518664f4015d1e344c4tree | snapshot
parentcf233f498cb895429893b940b79e1604d52475cacommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.