]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic_2/unfold/delift_delift.ma
- more properties on lifting, slicing, delifting and thinning
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 3 May 2012 15:27:32 +0000 (15:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 3 May 2012 15:27:32 +0000 (15:27 +0000)
commitfc5a0d62ece398d8547dda0f429b9f1e24bca306
treee741540eb3820223f9511f9b3bcd8a7bb03043e3
parentd32efcc40e6de8a337e61864dab00305ba30b334
- more properties on lifting, slicing, delifting and thinning
12 files changed:
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop_ldrop.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_alt.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_delift.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_ltpss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_tpss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/thin.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/thin_delift.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/thin_ldrop.ma [new file with mode: 0644]