matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic_2/equivalence/lsubse.ma

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 22 Nov 2012 15:05:00 +0000 (15:05 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 22 Nov 2012 15:05:00 +0000 (15:05 +0000)
commit	4bea40e6589ce21c15ecf99bdd5bd2a1c62f6809
tree	d161d0e89d804657d3536fb78481b1802354a34d	tree \| snapshot
parent	943bfd67310c34c05cbba627272864eb10800143	commit \| diff

- local environment refinement for the first recursive lemma on validity preservation
- focalized equivalence
- some corrections

26 files changed:

matita/matita/contribs/lambda_delta/basic_2/conversion/fpc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/conversion/fpc_fpc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/dynamic/snv.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/dynamic/snv_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/dynamic/snv_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/dynamic/snv_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/equivalence/fpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/fpcs_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/fpcs_cpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/fpcs_fpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/fpcs_fprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/lsubse.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/lsubse_cpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/lsubse_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/lsubse_ssta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/etc/lsubsv/lsubsv.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/etc/lsubsv/lsubsv_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/etc/lsubsv/lsubsv_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/etc/lsubsv/lsubsv_snv.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/etc/lsubsv/lsubsv_ssta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/ground_2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambda_delta/ground_2/xoa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/ground_2/xoa_notation.ma		diff \| blob \| history

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

RSS Atom