]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46bde81) | 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)
commit09e7e20a99ff7104fd1da326dc44111f81e3dc89
tree77a059a428f597fe705f10185c8511e183d2cee3tree | snapshot
parent46bde81a59b45bedd6d859450decfc2263d92d7ecommit | 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.
components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.