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: 89ea663) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 26 Jul 2016 18:50:33 +0000 (18:50 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 26 Jul 2016 18:50:33 +0000 (18:50 +0000)
commit	138e01310a2334cd531819122c794d72d14c6e8c
tree	ddb2523ecc9784a4811a0c7672e82e946a7866e8	tree \| snapshot
parent	89ea663d91904f483f8248cfaeaed5eda8715da2	commit \| diff

bug fix in the context reduction rule for cast (cpm)

13 files changed:

matita/matita/contribs/lambdadelta/basic_2/notation/relations/predty_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predty_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma		diff \| blob \| history

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