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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 70a6a81) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 27 Jul 2012 19:00:53 +0000 (19:00 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 27 Jul 2012 19:00:53 +0000 (19:00 +0000)
commit	b405363d37a437e86705bd85f5b549a36878e7d5
tree	bf0dbcdb05e9e9108d80d5d252b5c781ece463d8	tree \| snapshot
parent	70a6a8146e5815a97330ea291bea09cf798c0008	commit \| diff

- support for pointwise extensions of a term relation started ...
- we now support abstract liftable relations

12 files changed:

matita/matita/contribs/lambda_delta/basic_2/grammar/aarity.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/grammar/lenv_px.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_tps.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/tpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/tpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/tpr_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop_lpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/substitution/lift.ma		diff \| blob \| history

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