matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 54a4872) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 3 Jun 2013 13:45:42 +0000 (13:45 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 3 Jun 2013 13:45:42 +0000 (13:45 +0000)
commit	e2fd96302d52266bec42a19f100dadc6111fc07b
tree	25c5bf935cbf02290829ade97dcf493daa8e5888	tree \| snapshot
parent	54a4872ce3e05e56ca36747df014aa506bd9c71d	commit \| diff

- induction on supclosure replaces induction on weight for closures everywhere
- bug fix in csn_alt

18 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsupp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsups.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpss_cpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpss_lpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lpqs_cpqs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lpqs_lpqs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/unfold.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.