matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic_2/unfold/delift

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 3 May 2012 15:27:32 +0000 (15:27 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 3 May 2012 15:27:32 +0000 (15:27 +0000)
commit	fc5a0d62ece398d8547dda0f429b9f1e24bca306
tree	e741540eb3820223f9511f9b3bcd8a7bb03043e3	tree \| snapshot
parent	d32efcc40e6de8a337e61864dab00305ba30b334	commit \| diff

- more properties on lifting, slicing, delifting and thinning

12 files changed:

matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_alt.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_delift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_ltpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/thin.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/thin_delift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/thin_ldrop.ma	[new file with mode: 0644]	blob

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