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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 10 Aug 2011 15:12:59 +0000 (15:12 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 10 Aug 2011 15:12:59 +0000 (15:12 +0000)
commit	b24e4faf4501e54da29dc70940101eeb160e9c9f
tree	1bbbd27dd6bb430c053886df834c82f666af3cfc	tree \| snapshot
parent	e4f11cddf44dd9bba21f689d4f56e2d00d8d7bb5	commit \| diff

refactoring completed!

26 files changed:

matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/lpr.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/reduction/tpr_tpr.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tps.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/leq.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/lift_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/lift_weight.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_split.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/syntax/item.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/syntax/length.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/syntax/lenv.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/syntax/sh.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/syntax/term.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/syntax/weight.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Ground-2/ground.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Ground-2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambda-delta/Ground-2/xoa_props.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Makefile		diff \| blob \| history

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

RSS Atom