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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Sep 2012 17:07:46 +0000 (17:07 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Sep 2012 17:07:46 +0000 (17:07 +0000)
commit	38a7664fd355705596cb63cac87779688790fcb1
tree	5dbc9dac3c6a5eee5d7d9215f0a88791bcc9e764	tree \| snapshot
parent	99c7be7031e506c7ad4a6c5e3f12ad5ae542b049	commit \| diff

- partial commit (unfold component only)
we introduced the transitive closure of ltpss,
which we now use in the definition of thin

28 files changed:

matita/matita/contribs/lambda_delta/basic_2/etc/ltpsss/ltpsss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/etc/ltpsss/ltpsss_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/etc/ltpsss/ltpsss_ltpsss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/etc/ltpsss/ltpsss_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/etc/ltpsss/ltpsss_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/etc/ltpsss/notation.etc	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_dx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_dx_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_dx_ltpss_dx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_dx_tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_dx_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_ltpss.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_sn_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_sn_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_sn_ltpss_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_sn_tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_sn_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_tps.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_tpss.ma	[deleted file]	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		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/tpss.ma		diff \| blob \| history

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

RSS Atom