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: 5f1066f) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 18 Feb 2014 17:34:38 +0000 (17:34 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 18 Feb 2014 17:34:38 +0000 (17:34 +0000)
commit	e4be4188d549da5fde54cdc37a6fb4eb2469c15b
tree	19a66e3bebd4ee99e79a5a2b03163234515df987	tree \| snapshot
parent	5f1066ffb3c6ed53f9bf17ae2a81a9c9db32dba7	commit \| diff

- a reinforement in a lemma on ldrop allows to prove a lemma on lsx :)
- some renaming

13 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/lprs_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_cpys.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_lsuby.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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