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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 1 Jul 2016 13:59:41 +0000 (13:59 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 1 Jul 2016 13:59:41 +0000 (13:59 +0000)
commit	f6b452b9c9be141740d4058dfbcf81a4b75fd00b
tree	9b5f99614713377bd8935ca98f9251002dcb81c5	tree \| snapshot
parent	88dd0e28758c693660a93ee0a9a5202c61ca09a0	commit \| diff

first definition of cpm:
the contextual rule for cast is incorrect :(

21 files changed:

matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_6.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/cpm.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isredtype_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa_notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.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	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa.ma		diff \| blob \| history

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

RSS Atom