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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 8 Sep 2011 19:48:13 +0000 (19:48 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 8 Sep 2011 19:48:13 +0000 (19:48 +0000)
commit	b4240d93f7fd4c3e60d3495dc558edfc0e0f48e7
tree	f9ba85c87de5b4eebd0f101d70b4457d7187e9d6	tree \| snapshot
parent	d943958c6e0286068056a74fbb4e98349227420c	commit \| diff

- support for transitive closures started
- "unfold" component started
- we corrected one axiom of drop

24 files changed:

matita/matita/contribs/lambda-delta/Basic-2/Basic-1.txt		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/grammar/item.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/grammar/leq.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/grammar/thom.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr_cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda-delta/Basic-2/reduction/lcpr.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/ltpr.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/ltpr_drop.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/drop.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/drop_drop.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/lift.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/ltps.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/ltps_drop.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/ltps_tps.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_tps.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/unfold/tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda-delta/Ground-2/star.ma	[new file with mode: 0644]	blob

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

RSS Atom