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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 16 Oct 2017 21:34:59 +0000 (21:34 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 16 Oct 2017 21:34:59 +0000 (21:34 +0000)
commit	98fbba1b68d457807c73ebf70eb2a48696381da4
tree	47d1fdffefe669d8584582888d8f0f67570acead	tree \| snapshot
parent	65e6209e0758832835ba8d14304a1548d059a634	commit \| diff

- exclusion binder added in local environments
working components: syntax, relocation, s_transition, s_computation, static
- improved lsubf of which we hope to prove transitivity
- improvements in rtmap

86 files changed:

matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ceq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ext2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lstar.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fquq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fquq_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_lsubf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/bind_ext2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_restricted_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/ext2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/ext2_ext2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_ext2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_ext.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma		diff \| blob \| history

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

RSS Atom